2021年11月18日
摘要: Minimal unsatisfiable core extraction for SMT O. Guthmann, O. Strichman and A. Trostanetski, "Minimal unsatisfiable core extraction for SMT," 2016 For 阅读全文
posted @ 2021-11-18 11:59 海阔凭鱼跃越 阅读(98) 评论(0) 推荐(0) 编辑
摘要: Faster Extraction of High-Level Minimal Unsatisfiable Cores Ryvchin V., Strichman O. (2011) Faster Extraction of High-Level Minimal Unsatisfiable Core 阅读全文
posted @ 2021-11-18 11:52 海阔凭鱼跃越 阅读(41) 评论(0) 推荐(0) 编辑
摘要: Boosting MUC extraction in unsatisfiable constraint networks Grégoire, É., Lagniez, JM. & Mazure, B. Boosting MUC extraction in unsatisfiable constrai 阅读全文
posted @ 2021-11-18 11:32 海阔凭鱼跃越 阅读(50) 评论(0) 推荐(0) 编辑
摘要: Boosting Minimal Unsatisfiable Core Extraction 阅读全文
posted @ 2021-11-18 11:16 海阔凭鱼跃越 阅读(13) 评论(0) 推荐(0) 编辑
摘要: 可视化计算SAT公式不满足的最小解释; MUStICCa: MUS Extraction with Interactive Choice of Candidates Johannes Dellert, Christian Zielke, and Michael KaufmannUniversity 阅读全文
posted @ 2021-11-18 11:05 海阔凭鱼跃越 阅读(90) 评论(0) 推荐(0) 编辑
摘要: 早期对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 阅读全文
posted @ 2021-11-18 09:32 海阔凭鱼跃越 阅读(160) 评论(0) 推荐(0) 编辑