共 50 条
- [41] JaCk-SAT: A new parallel scheme to solve the Satisfiability problem (SAT) based on join-and-check PARALLEL PROCESSING AND APPLIED MATHEMATICS, 2008, 4967 : 249 - 258
- [42] New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 217 - 222
- [43] Erratum to: “Function Analysis of a New Type I PKS-SAT Domain by Sat-Eat Domain Replacement” Applied Biochemistry and Microbiology, 2010, 46 : 367 - 367
- [46] A new SAT-based algorithm for symbolic trajectory evaluation CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 238 - 253
- [49] A new lower bound of critical function for (k,s)-SAT THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2006, 3959 : 274 - 282
- [50] Improving Stochastic Local Search for SAT with a New Probability Distribution THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, 2010, 6175 : 10 - 15