随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
09 2021 档案
文献学习--Partitioning Methods for Satisfiability Testing on Large Formulas
摘要：Partitioning Methods for Satisfiability Testing on Large Formulas Tai Joon Park and Allen Van GelderComputer Science Department, 237 BE, University of
阅读全文
BCP基本技术文档学习—— Generalizations of watched literals for backtracking search
摘要：Generalizations of watched literals for backtracking search Allen Van Gelder237 B.E., University of California, Santa Cruz, CA 95064E-mail avg@cs.ucsc
阅读全文
文献学习-The Community Structure of Constraint Satisfaction Problems and Its Correlation with Search Time
摘要：The Community Structure of Constraint Satisfaction Problems and Its Correlation with Search Time M. Medema and A. Lazovik, "The Community Structure of
阅读全文
文献阅读-Early Conflict Detection Based BCP for SAT Solving
摘要：作者： MDT Lewis，T Schubert，B Becker 摘要： This paper describes a new BCP algorithm that improves the performance of Cha class solvers by reducing the tota
阅读全文
