Encoding Basic Arithmetic Operations for SAT-Solvers.
Ramón BéjarCèsar FernándezFrancesc GuitartPublished in: CCIA (2010)
Keyphrases
- arithmetic operations
- sat solvers
- sat encodings
- orders of magnitude
- sat solving
- propositional satisfiability
- search space
- constraint satisfaction
- max sat solver
- max sat
- sat instances
- sat problem
- search strategies
- real numbers
- integral image
- recursive queries
- clause learning
- fuzzy numbers
- inference rules
- state space
- constraint satisfaction problems
- computer vision