Machine Learning-Based Restart Policy for CDCL SAT Solvers-Reference-Cited by-同舟云学术

Machine Learning-Based Restart Policy for CDCL SAT Solvers

Published:2018 Issue: Volume: Page:94-110
ISSN:0302-9743
Container-title:Theory and Applications of Satisfiability Testing – SAT 2018
language:
Short-container-title:

Author:

Liang Jia Hui,Oh Chanseok,Mathew Minu,Thomas Ciza,Li Chunxiao,Ganesh Vijay

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-94144-8_6

Reference30 articles.

1. MLR source code. https://sites.google.com/a/gsd.uwaterloo.ca/maplesat/mlr

2. Lecture Notes in Computer Science;A Atserias,2009

3. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, IJCAI 2009, pp. 399–404. Morgan Kaufmann Publishers Inc., San Francisco (2009)

4. Lecture Notes in Computer Science;G Audemard,2012

5. Audemard, G., Simon, L.: Glucose and syrup in the SAT17. In: Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions, pp. 16–17 (2017)

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Synergies between machine learning and reasoning - An introduction by the Kay R. Amel group;International Journal of Approximate Reasoning;2024-08

2. Surrogate-assisted sine Phasmatodea population evolution algorithm applied to 3D coverage of mobile nodes;Complex & Intelligent Systems;2024-05-11

3. Improving Bounded Model Checkers Scalability for Circuit De-Obfuscation: An Exploration;IEEE Transactions on Information Forensics and Security;2024

4. Machine Learning Methods in Solving the Boolean Satisfiability Problem;Machine Intelligence Research;2023-06-01

5. The Threat of Offensive AI to Organizations;Computers & Security;2023-01