On the Effect of Learned Clauses on Stochastic Local Search-Reference-Cited by-同舟云学术

On the Effect of Learned Clauses on Stochastic Local Search

Published:2020 Issue: Volume: Page:89-106
ISSN:0302-9743
Container-title:Theory and Applications of Satisfiability Testing – SAT 2020
language:
Short-container-title:

Author:

Lorenz Jan-Hendrik,Wörz Florian

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-51825-7_7

Reference46 articles.

1. Anbulagan, A., Pham, D.N., Slaney, J.K., Sattar, A.: Old resolution meets modern SLS. In: Proceedings of the 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference (AAAI/IAAI 2005), pp. 354–359 (2005)

2. Lecture Notes in Computer Science;G Audemard,2010

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 (2009)

4. Balint, A.: Engineering stochastic local search for the satisfiability problem. Ph.D. thesis, University of Ulm (2014)

5. Balint, A.: Original implementation of probSAT (2015). https://github.com/adrianopolus/probSAT

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

1. Heavy Weighting for Potential Important Clauses;Knowledge Science, Engineering and Management;2023

2. Too much information: Why CDCL solvers need to forget learned clauses;PLOS ONE;2022-08-26

3. Machine learning and logic: a new frontier in artificial intelligence;Formal Methods in System Design;2022-06

4. Deep Cooperation of CDCL and Local Search for SAT;Theory and Applications of Satisfiability Testing – SAT 2021;2021