共 35 条
- [22] CRITICAL-BEHAVIOR IN THE SATISFIABILITY OF RANDOM BOOLEAN EXPRESSIONS [J]. SCIENCE, 1994, 264 (5163) : 1297 - 1301
- [23] Kirousis LM, 1998, RANDOM STRUCT ALGOR, V12, P253, DOI 10.1002/(SICI)1098-2418(199805)12:3<253::AID-RSA3>3.0.CO
- [24] 2-U
- [25] Li C., 2014, P SAT COMP 2014 SOLV, P10
- [26] Malitsky Y., 2013, SAT COMPETITION 2013, P28
- [28] MITCHELL D, 1992, AAAI-92 PROCEEDINGS : TENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, P459
- [29] Parkes AJ, 1996, PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, P356
- [30] Roussel O, 2011, Journal on Satisfiability, Boolean Modeling and Computation, V7, P139, DOI 10.3233/SAT190083