随笔 - 260  文章 - 0  评论 - 0  阅读 - 52987 

随笔分类 -  具体技术--MUS

minimal unsatisfiable subset
文献学习——Minimal unsatisfiable core extraction for SMT
摘要：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 海阔凭鱼跃越 编辑
文献学习——Faster Extraction of High-Level Minimal Unsatisfiable Cores
摘要：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 海阔凭鱼跃越 编辑
文献学习——Boosting MUC extraction in unsatisfiable constraint networks
摘要：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 海阔凭鱼跃越 编辑
文献学习——Boosting Minimal Unsatisfiable Core Extraction
摘要：Boosting Minimal Unsatisfiable Core Extraction 阅读全文
posted @ 2021-11-18 11:16 海阔凭鱼跃越 编辑
文献学习——MUStICCa: MUS Extraction with Interactive Choice of Candidates
摘要：可视化计算SAT公式不满足的最小解释； MUStICCa: MUS Extraction with Interactive Choice of Candidates Johannes Dellert, Christian Zielke, and Michael KaufmannUniversity 阅读全文
posted @ 2021-11-18 11:05 海阔凭鱼跃越 编辑

点击右上角即可分享
微信分享提示