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

Xindi Zhang, Bohan Li, Shaowei Cai
April 2024
PDF DOI
Type
Conference paper
Publication
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal
Conf