Login / Signup

Synthesizing Programs with Constraint Solvers.

Rastislav BodíkEmina Torlak
Published in: CAV (2012)
Keyphrases
  • constraint solvers
  • constraint solving
  • constraint programming
  • constraint satisfaction problems
  • constraint solver
  • constraint propagation
  • combinatorial problems
  • heuristic search