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

Xindi Zhang, Bohan Li, Shaowei Cai
四月 2024
PDF DOI
类型
会议文章
出版物
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal
Conf