Solving constraint satisfaction problems with SAT modulo theories.

Miquel Bofill Miquel Palahí Josep Suy Mateu Villaret

Published in: Constraints An Int. J. (2012)

Keyphrases

modulo theories
solving constraint satisfaction problems
constraint satisfaction problems
answer set programming
arc consistency
satisfiability modulo theories
search algorithm
stable model semantics
constraint satisfaction
logic programs
constraint programming
constraint propagation
space complexity