Local Search For Satisfiability Modulo Integer Arithmetic Theories.
Shaowei CaiBohan LiXindi ZhangPublished in: ACM Trans. Comput. Log. (2023)
Keyphrases
- integer arithmetic
- satisfiability testing
- stochastic local search
- propositional theories
- propositional logic
- satisfiability problem
- search algorithm
- random sat instances
- np complete
- search space
- euclidean distance transform
- simulated annealing
- tabu search
- genetic algorithm
- computational complexity
- phase transition
- sat problem
- propositional satisfiability
- heuristic search
- volume rendering
- optimal solution