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

Xindi Zhang, Bohan Li, Shaowei Cai

Browse the full ICSE paper archive.