共 50 条
- [41] Constraint satisfaction: random regular k-SAT STATISTICAL PHYSICS, OPTIMIZATION, INFERENCE, AND MESSAGE-PASSING ALGORITHMS, 2016, : 231 - 251
- [42] Strong refutation heuristics for random k-SAT COMBINATORICS PROBABILITY & COMPUTING, 2007, 16 (01): : 5 - 28
- [45] A pure hardware k-SAT solver for FPGA 2018 IEEE 5TH INTERNATIONAL CONGRESS ON INFORMATION SCIENCE AND TECHNOLOGY (IEEE CIST'18), 2018, : 481 - 485
- [46] Combinatorial Landscape Analysis for k-SAT Instances 2008 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-8, 2008, : 2498 - +
- [47] A lower bound for DLL algorithms for k-SAT PROCEEDINGS OF THE ELEVENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2000, : 128 - 136
- [48] Bounds on Threshold of Regular Random k-SAT THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, 2010, 6175 : 264 - 277
- [50] Strong refutation heuristics for random k-SAT APPROXIMATION, RANDOMIZATION, AND COMBINATORIAL OPTIMIZATION: ALGORITHMS AND TECHNIQUES, PROCEEDINGS, 2004, 3122 : 310 - 321