Sharing Information in Parallel Search with Search Space Partitioning
作者： Davide Lanti , Norbert Manthey
DOI: 10.1007/978-3-642-44973-4_6
关键词:
摘要: In this paper we propose a new approach to share information among the computation units of an iterative search partitioning parallel SAT solver by approximating validity. Experimental results show streh approach, against both existing sharing techniques and absence sharing. With improved clause sharing, out 600 instances could solve 13 more than previous techniques.
springer.com
emcl-study.eu 参考文章(57)
Gilles Audemard, Laurent Simon, Predicting learnt clauses quality in modern SAT solvers international joint conference on artificial intelligence. pp. 399- 404 ,(2009)
Antti E. J. Hyvärinen, Norbert Manthey, Designing scalable parallel SAT solvers theory and applications of satisfiability testing. pp. 214- 227 ,(2012) , 10.1007/978-3-642-31612-8_17
Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, Revisiting clause exchange in parallel SAT solving theory and applications of satisfiability testing. ,vol. 7962, pp. 200- 213 ,(2012) , 10.1007/978-3-642-31612-8_16
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, On freezing and reactivating learnt clauses theory and applications of satisfiability testing. pp. 188- 200 ,(2011) , 10.1007/978-3-642-21581-0_16
Antti E. J. Hyvärinen, Tommi Junttila, Ilkka Niemelä, Grid-based SAT solving with iterative partitioning and clause learning principles and practice of constraint programming. pp. 385- 399 ,(2011) , 10.1007/978-3-642-23786-7_30
Alejandro Arbelaez, Youssef Hamadi, Improving parallel local search for SAT learning and intelligent optimization. pp. 46- 60 ,(2011) , 10.1007/978-3-642-25566-3_4
Youssef Hamadi, Said Jabbour, Jabbour Sais, Control-based clause sharing in parallel SAT solving international joint conference on artificial intelligence. pp. 499- 504 ,(2009) , 10.1007/978-3-642-21434-9_10
Marijn J. H. Heule, Oliver Kullmann, Siert Wieringa, Armin Biere, Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads Hardware and Software: Verification and Testing. pp. 50- 65 ,(2012) , 10.1007/978-3-642-34188-5_8
Asvin Goel, A column generation heuristic for the general vehicle routing problem learning and intelligent optimization. pp. 1- 9 ,(2010) , 10.1007/978-3-642-13800-3_1
Hantao Zhang, SATO: An Efficient Propositional Prover conference on automated deduction. pp. 272- 275 ,(1997) , 10.1007/3-540-63104-6_28