Local Search For Satisfiability Modulo Integer Arithmetic Theories.
Shaowei CaiBohan LiXindi ZhangPublished in: CoRR (2022)
Keyphrases
- integer arithmetic
- satisfiability testing
- stochastic local search
- satisfiability problem
- search algorithm
- propositional theories
- propositional logic
- genetic algorithm
- np complete
- euclidean distance transform
- search space
- computational complexity
- random sat instances
- phase transition
- propositional satisfiability
- gray level
- tabu search