2021年11月19日
摘要：
Evaluating CDCL Variable Scoring Schemes International Conference on Theory and Applications of Satisfiability Testing SAT 2015: Theory and Applicatio 阅读全文
2021年11月19日
2021年11月18日
摘要：
Minimal unsatisfiable core extraction for SMT O. Guthmann, O. Strichman and A. Trostanetski, "Minimal unsatisfiable core extraction for SMT," 2016 For 阅读全文
摘要：
Faster Extraction of High-Level Minimal Unsatisfiable Cores Ryvchin V., Strichman O. (2011) Faster Extraction of High-Level Minimal Unsatisfiable Core 阅读全文
摘要：
Boosting MUC extraction in unsatisfiable constraint networks Grégoire, É., Lagniez, JM. & Mazure, B. Boosting MUC extraction in unsatisfiable constrai 阅读全文
摘要：
Boosting Minimal Unsatisfiable Core Extraction 阅读全文
摘要：
可视化计算SAT公式不满足的最小解释； MUStICCa: MUS Extraction with Interactive Choice of Candidates Johannes Dellert, Christian Zielke, and Michael KaufmannUniversity 阅读全文
摘要：
早期对SAT求解器代码解读最重要的文献是： [MZ01] M.W. Moskewicz, C.F. Madigan, Y. Zhao, L. Zhang, S. Malik. “Chaff:Engineering an Efficient SAT Solver” in Proc. of the 38 阅读全文
2021年11月6日
摘要：
Deep Cooperation of CDCL and Local Search for SAT Cai S., Zhang X. (2021) Deep Cooperation of CDCL and Local Search for SAT. In: Li CM., Manyà F. (eds 阅读全文
摘要：
An Extensible SAT-solver Cite this paper as: Eén N., Sörensson N. (2004) An Extensible SAT-solver. In: Giunchiglia E., Tacchella A. (eds) Theory and A 阅读全文
2021年10月9日
摘要：
Efficient All-UIP Learned Clause Minimization Mathias Fleury and Armin Biere Johannes Kepler University, Linz, Austria {armin.biere, mathias.fleury}@j 阅读全文