Subject
Applied Mathematics,Computational Theory and Mathematics,Theoretical Computer Science
Reference60 articles.
1. MaxSAT, hard and soft constraints;Li,2009
2. Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties;Ausiello,2003
3. A tutorial on the cross-entropy method;de Boer;Ann. Oper. Res.,2005
4. A new method for solving hard satisfiability problems;Selman,1992
5. B. Selman, H.A. Kautz, B. Cohen, Local search strategies for satisfiability testing, in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 1996, pp. 521–532.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献