上一页 1 ··· 7 8 9 10 11 12 13 14 15 ··· 26 下一页
  2022年3月17日
该文被密码保护。 阅读全文
posted @ 2022-03-17 08:48 海阔凭鱼跃越 阅读(14) 评论(0) 推荐(0) 编辑
  2021年12月22日
摘要: window操作系统中使用caidical求解SAT样例 1.点击电脑右下角 开始——附件——命令提示符,进入运行窗口。 2. 在命令行窗口包含caidical.exe程序的路径下,采用命令:caidical cnf文件 即可以运行得到结果。 以上示例caidical.exe程序及q889.cnf文 阅读全文
posted @ 2021-12-22 18:36 海阔凭鱼跃越 阅读(69) 评论(0) 推荐(0) 编辑
  2021年11月22日
摘要: Combining Clause Learning and Branch and Bound for MaxSAT Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He, Combining Clause Le 阅读全文
posted @ 2021-11-22 14:57 海阔凭鱼跃越 阅读(411) 评论(0) 推荐(0) 编辑
  2021年11月20日
摘要: 屏幕输出相关结果分散在多个.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 海阔凭鱼跃越 阅读(325) 评论(0) 推荐(0) 编辑
  2021年11月19日
摘要: 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 海阔凭鱼跃越 阅读(115) 评论(0) 推荐(0) 编辑
摘要: 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 海阔凭鱼跃越 阅读(135) 评论(0) 推荐(0) 编辑
  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) 编辑
上一页 1 ··· 7 8 9 10 11 12 13 14 15 ··· 26 下一页