Symbolic Trajectory Evaluation using a Satisfiability Solver
Licentiate thesis, 2005
10.15
Author
Jan-Willem Roorda
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Subject Categories
Computer Science
10.15