共 50 条
- [1] An Efficient Approach to Solving Random k-sat Problems Journal of Automated Reasoning, 2006, 37 : 261 - 276
- [3] An efficient approach to solving random k-sat problems Journal of Automated Reasoning, 2006, 37 (04): : 261 - 276
- [4] The backtracking survey propagation algorithm for solving random K-SAT problems Nature Communications, 7
- [5] The backtracking survey propagation algorithm for solving random K-SAT problems NATURE COMMUNICATIONS, 2016, 7
- [7] Hardness of Approximation Algorithms on k-SAT and (k,s)-SAT Problems PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 60 - 64
- [8] On Efficiently Solvable Cases of Quantum k-SAT Communications in Mathematical Physics, 2021, 381 : 209 - 256
- [10] Complexity of k-SAT FOURTEENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 1999, : 237 - 240