摘要： 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 Haim S., Walsh T. (2009) Restart Strategy Selection Using Machine Learning Techniques. In 阅读全文

摘要： 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 阅读注释：提出运用之前学习的子句的历史预测下一个学习的子句的质量。 Liang J.H., Oh C., Mathew M., Thomas C., Li C., Ganesh V. 阅读全文

摘要： 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 Md Solimul Chowdhury, Martin M¨ uller, Jia-Huai YouDepartment of Computing Sci 阅读全文

摘要： 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 Saeed Nejati 1 Email author Jia Hui Liang 1 Catherine Gebotys 1 Krz 阅读全文

摘要： 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 Edward Zulkoski Ruben Martins Christoph M. Wintersteiger Robert Robere Jia Hui Liang Krzysztof Czarnecki Vi 阅读全文