Login / Signup
Optimizing a Structural Constraint Solver for Efficient Software Checking.
Junaid Haroon Siddiqui
Darko Marinov
Sarfraz Khurshid
Published in:
ASE (2009)
Keyphrases
</>
constraint solver
constraint solving
constraint propagation
heuristic search
constraint programming