Login / Signup
Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints.
William Chan
Richard J. Anderson
Paul Beame
David Notkin
Published in:
CAV (1997)
Keyphrases
</>
constraint solving
constraint solvers
constraint logic programming
constraint solver
constraint propagation
constraint programming
constraint satisfaction problems
constraint satisfaction
symbolic model checking
finite domain
knowledge based systems
reinforcement learning
computational complexity