随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
12 2020 档案
求解器改进新的见解01--2020-12阅读文献摘录
摘要：1. VANSAT and NegVanSAT Abd El-Maksoud, M.A., Abdalla, A. A novel SAT solver for the Van der Waerden numbers. J Egypt Math Soc 27, 22 (2019). https://
阅读全文
SAT的图形表示--相关文献学习01
摘要：Graph Based Representations SAT Solving for Non-clausal Formulas Ruiyun Xie and Benzhai Hai Xie R., Hai B. (2012) Graph Based Representations SAT Solv
阅读全文
文献学习--Restart Strategy Selection Using Machine Learning Techniques
摘要：Restart Strategy Selection Using Machine Learning Techniques Haim S., Walsh T. (2009) Restart Strategy Selection Using Machine Learning Techniques. In
阅读全文
文献阅读--A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers
摘要：A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers Nejati S., Le Frioux L., Ganesh V. (2020) A Machine Learning Based Splitti
阅读全文
文献学习-Machine Learning-Based Restart Policy for CDCL SAT Solvers
摘要：Machine Learning-Based Restart Policy for CDCL SAT Solvers 阅读注释：提出运用之前学习的子句的历史预测下一个学习的子句的质量。 Liang J.H., Oh C., Mathew M., Thomas C., Li C., Ganesh V.
阅读全文
文献学习--Coverage-Based Clause Reduction Heuristics for CDCL Solvers
摘要：Coverage-Based Clause Reduction Heuristics for CDCL Solvers Nabeshima H., Inoue K. (2017) Coverage-Based Clause Reduction Heuristics for CDCL Solvers.
阅读全文
文献学习-Guiding CDCL SAT Search via Random Exploration amid Conflict Depression
摘要：Guiding CDCL SAT Search via Random Exploration amid Conflict Depression Md Solimul Chowdhury, Martin M¨ uller, Jia-Huai YouDepartment of Computing Sci
阅读全文
文献学习-Backing Backtracking
摘要：Backing Backtracking Möhle S., Biere A. (2019) Backing Backtracking. In: Janota M., Lynce I. (eds) Theory and Applications of Satisfiability Testing –
阅读全文
文献学习-Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions
摘要：Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions Saeed Nejati 1 Email author Jia Hui Liang 1 Catherine Gebotys 1 Krz
阅读全文
文献学习--Trail Saving on Backtrack
摘要：Trail Saving on Backtrack Hickey R., Bacchus F. (2020) Trail Saving on Backtrack. In: Pulina L., Seidl M. (eds) Theory and Applications of Satisfiabil
阅读全文
文献学习——Learning-Sensitive Backdoors with Restarts
摘要：Learning-Sensitive Backdoors with Restarts Edward Zulkoski Ruben Martins Christoph M. Wintersteiger Robert Robere Jia Hui Liang Krzysztof Czarnecki Vi
阅读全文
文献学习-Between Restarts and Backjumps
摘要：Antonio Ramos Peter van der Tak Marijn J. H. Heule Department of Software TechnologyDelft University of TechnologyThe Netherlands Ramos A., van der Ta
阅读全文
文献学习-sharpSAT – Counting Models with Advanced Component Caching and Implicit BCP
摘要：希望从该文章中获取BCP的认识以及叙述方式 sharpSAT – Counting Models with Advanced Component Caching and Implicit BCP Thurley M. (2006) sharpSAT – Counting Models with Ad
阅读全文
