Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory.

Xindi Zhang Bohan Li Shaowei Cai

Published in: ICSE (2024)

Keyphrases

integer arithmetic
sat solvers
sat solving
clause learning
sat encodings
propositional satisfiability
search algorithm
stochastic local search
satisfiability problem
satisfiability testing
sat instances
genetic algorithm
search space
sat problem
binary images
search strategies