共 50 条
- [2] A Taxonomy of Exact Methods for Partial Max-SAT Journal of Computer Science and Technology, 2013, 28 : 232 - 246
- [3] Improved exact algorithms for MAX-SAT LATIN 2002: THEORETICAL INFORMATICS, 2002, 2286 : 341 - 355
- [7] On solving the Partial MAX-SAT problem THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, 2006, 4121 : 252 - 265
- [8] Improved exact solvers for weighted Max-SAT THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS, 2005, 3569 : 371 - 377
- [9] Encoding Max-CSP into Partial Max-SAT 38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008), 2008, : 106 - 111
- [10] Modelling Max-CSP as partial Max-SAT THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, 2008, 4996 : 1 - +