Login / Signup

Optimizing a Structural Constraint Solver for Efficient Software Checking.

Junaid Haroon SiddiquiDarko MarinovSarfraz Khurshid
Published in: ASE (2009)
Keyphrases
  • constraint solver
  • constraint solving
  • constraint propagation
  • heuristic search
  • constraint programming