Extreme SAT-based Constraint solving with R-Solve.

James R. Ezick Jonathan Springer Tom Henretty Chanseok Oh

Published in: HPEC (2014)

Keyphrases

constraint solving
constraint solver
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint programming
answer set programming
dynamic programming
monte carlo
visual information
combinatorial problems
version space