• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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