摘要:
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 阅读全文
摘要:
Adaptive restart strategies for conflict driven SAT solvers International Conference on Theory and Applications of Satisfiability Testing SAT 2008: Th 阅读全文
摘要:
Evaluating CDCL Variable Scoring Schemes International Conference on Theory and Applications of Satisfiability Testing SAT 2015: Theory and Applicatio 阅读全文
摘要:
Minimal unsatisfiable core extraction for SMT O. Guthmann, O. Strichman and A. Trostanetski, "Minimal unsatisfiable core extraction for SMT," 2016 For 阅读全文
摘要:
可视化计算SAT公式不满足的最小解释; MUStICCa: MUS Extraction with Interactive Choice of Candidates Johannes Dellert, Christian Zielke, and Michael KaufmannUniversity 阅读全文