A randomized diversification strategy for solving satisfiability problem with long clauses
作者： Jian Gao , Ruizhi Li , Minghao Yin
DOI: 10.1007/S11432-016-0258-4
关键词:
摘要: Satisfiability problem (SAT) is a central problem in artificial intelligence due to its computational complexity and usefulness in industrial applications. Stochastic local search (SLS) …
springer.com
sci-hub.se 
researchgate.net 参考文章(31)
Bart Selman, David Mitchell, Hector Levesque, Hard and easy distributions of SAT problems national conference on artificial intelligence. pp. 459- 465 ,(1992)
Adrian Balint, Armin Biere, Andreas Fröhlich, Uwe Schöning, Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses theory and applications of satisfiability testing. pp. 302- 316 ,(2014) , 10.1007/978-3-319-09284-3_23
Oliver Gableske, Marijn J. H. Heule, EagleUP: solving random 3-SAT using SLS with unit propagation theory and applications of satisfiability testing. pp. 367- 368 ,(2011) , 10.1007/978-3-642-21581-0_32
Thach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, MA Hakim Newton, None, Weight-enhanced diversification in stochastic local search for satisfiability international joint conference on artificial intelligence. pp. 524- 530 ,(2013)
Adrian Balint, Uwe Schöning, Choosing probability distributions for stochastic local search and the role of make versus break theory and applications of satisfiability testing. pp. 16- 29 ,(2012) , 10.1007/978-3-642-31612-8_3
Shaowei Cai, Kaile Su, Comprehensive score: towards efficient local search for SAT with long clauses international joint conference on artificial intelligence. pp. 489- 495 ,(2013)
Duc Nghia Pham, John Thornton, Valnir Ferreira, Stuart Bain, Additive versus multiplicative clause weighting for SAT national conference on artificial intelligence. pp. 191- 196 ,(2004)
Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos, Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT principles and practice of constraint programming. pp. 233- 248 ,(2002) , 10.1007/3-540-46135-3_16
Shaowei Cai, Kaile Su, Configuration checking with aspiration in local search for SAT national conference on artificial intelligence. pp. 434- 440 ,(2012)
Jun Liu, Ke Xu, A novel weighting scheme for random k-SAT Science China Information Sciences. ,vol. 59, pp. 92101- ,(2016) , 10.1007/S11432-016-5526-8