An Adaptive Parallel SAT Solver-Reference-Cited by-同舟云学术

An Adaptive Parallel SAT Solver

Published:2016 Issue: Volume: Page:30-48
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Audemard Gilles,Lagniez Jean-Marie,Szczepanski Nicolas,Tabary Sébastien

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-44953-1_3

Reference42 articles.

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

2. Audemard, G., Hoessen, B., Jabbour, S., Piette, C.: An effective distributed d&c approach for the satisfiability problem. In: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, pp. 183–187, 12–14 February 2014

3. Lecture Notes in Computer Science;G Audemard,2011

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

5. Audemard, G., Lagniez, J.-M., Simon, L.: Just-in-time compilation of knowledge bases. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, 3–9 August 2013

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

1. Efficient static analysis and verification of featured transition systems;Empirical Software Engineering;2021-10-23

2. The state-of-the-art Boolean Satisfiability based cryptanalysis;Materials Today: Proceedings;2021-07

3. Scalable SAT Solving in the Cloud;Theory and Applications of Satisfiability Testing – SAT 2021;2021

4. A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers;Lecture Notes in Computer Science;2020

5. mts: a light framework for parallelizing tree search codes;Optimization Methods and Software;2019-11-22