Towards more effective unsatisfiability-based maximum satisfiability algorithms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4996 LNCS, Issue , 2008, Pages 225-230

  Marques Silva, Joao ^a   Manquinho, Vasco ^b  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b INESC ID   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; CONSTRAINT THEORY; OPTIMIZATION;

BOOLEAN VARIABLES; BRANCH AND BOUND ALGORITHMS; MAXSAT PROBLEM;

PROBLEM SOLVING;

EID: 44649130859     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79719-7_21     Document Type: Conference Paper

References (12)

1. Argelich, J., Li, C.M., Manyà, F., Planes, J.: MaxSAT evaluation, http://www.maxsat07.udl.es
2. Een, N., Sörensson, N.: An extensible SAT solver. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 502-518 (May 2003)
3. Een, N., Sörensson, N.: Translating pseudo-Boolean constraints into SAT. Journal on Satisfiability, Boolean Modeling and Computation 2 (March 2006)
4. Fu, Z., Malik, S.: On solving the partial MAX-SAT problem. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 252-265 (August 2006)
5. Heras, F., Larrosa, J., Oliveras, A.: MiniMaxSat: a new weighted Max-SAT solver. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 41-55 (May 2007)
6. Li, C.M., Manyà, F., Planes, J.: New inference rules for Max-SAT. Journal of Artificial Intelligence Research 30, 321-359 (2007)
7. Manquinho, V., Roussel, O.: Pseudo-Boolean evaluation, http://www.cril.univ-artois.fr/PB07
8. Marques-Silva, J., Planes, J.: On using unsatisfiability for solving maximum satisfiability. Computing Research Repository, abs/0712.0097 (December 2007)
9. Marques-Silva, J., Planes, J.: Algorithms for maximum satisfiability using unsatisfiable cores. In: Design, Automation and Testing in Europe Conference (March 2008)
10. Prestwich, S.D.: Variable dependency in local search: Prevention is better than cure. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 107-120 (May 2007)
11. Safarpour, S., Mangassarian, H., Veneris, A., Liffiton, M.H., Sakallah, K.A.: Improved design debugging using maximum satisfiability. In: Formal Methods in Computer-Aided Design, pp. 13-19 (November 2007)
12. Zhang, L., Malik, S.: Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications. In: Design, Automation and Testing in Europe Conference, pp. 10880-10885 (March 2003)