海阔凭鱼跃越

2021年12月22日

摘要： window操作系统中使用caidical求解SAT样例 1.点击电脑右下角开始——附件——命令提示符，进入运行窗口。 2. 在命令行窗口包含caidical.exe程序的路径下，采用命令：caidical cnf文件即可以运行得到结果。以上示例caidical.exe程序及q889.cnf文阅读全文

posted @ 2021-12-22 18:36 海阔凭鱼跃越阅读(97) 评论(0) 推荐(0)

2021年11月22日

文献学习—— Combining Clause Learning and Branch and Bound for MaxSAT

摘要： Combining Clause Learning and Branch and Bound for MaxSAT Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He, Combining Clause Le 阅读全文

posted @ 2021-11-22 14:57 海阔凭鱼跃越阅读(499) 评论(0) 推荐(0)

2021年11月20日

求解器代码分析-Kissat的输出代码

摘要：屏幕输出相关结果分散在多个.c文件中一个典型的求解输出： 1 Administrator@PC-20170726RROZ /cygdrive/d/SATceshi2021-11 2 $ ./kissat.exe dist8.c.cnf 3 c [ banner ] 4 c 5 c KISSAT S 阅读全文

posted @ 2021-11-20 18:49 海阔凭鱼跃越阅读(387) 评论(0) 推荐(0)

2021年11月19日

文献学习——Adaptive restart strategies for conflict driven SAT solvers

摘要： Adaptive restart strategies for conflict driven SAT solvers International Conference on Theory and Applications of Satisfiability Testing SAT 2008: Th 阅读全文

posted @ 2021-11-19 10:10 海阔凭鱼跃越阅读(154) 评论(0) 推荐(0)

文献学习——Evaluating CDCL Variable Scoring Schemes

摘要： Evaluating CDCL Variable Scoring Schemes International Conference on Theory and Applications of Satisfiability Testing SAT 2015: Theory and Applicatio 阅读全文

posted @ 2021-11-19 09:22 海阔凭鱼跃越阅读(182) 评论(0) 推荐(0)

2021年11月18日

文献学习——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 海阔凭鱼跃越阅读(125) 评论(0) 推荐(0)

文献学习——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 海阔凭鱼跃越阅读(52) 评论(0) 推荐(0)

文献学习——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 海阔凭鱼跃越阅读(69) 评论(0) 推荐(0)

文献学习——Boosting Minimal Unsatisfiable Core Extraction

摘要： Boosting Minimal Unsatisfiable Core Extraction 阅读全文

posted @ 2021-11-18 11:16 海阔凭鱼跃越阅读(18) 评论(0) 推荐(0)

文献学习——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 海阔凭鱼跃越阅读(125) 评论(0) 推荐(0)

公告