Arithmetic Constraints in SAT-based Property Checking.

Evgeny Pavlenko Markus Wedler Dominik Stoffel Wolfgang Kunz

Published in: MBMV (2007)

Keyphrases

arithmetic constraints
constraint satisfaction problems
arc consistency
sat solvers
databases
answer set programming
knowledge base
reinforcement learning
np complete
planning problems
space complexity
relational calculus