Analyzing the Instances of the MaxSAT Evaluation

  • Josep Argelich
  • Chu Min Li
  • Felip Manyà
  • Jordi Planes
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6695)

Abstract

The MaxSAT Evaluation [1] is an affiliated event of the SAT Conference that is held every year since 2006, and is devoted to empirically evaluate exact MaxSAT algorithms solving any of the following problems: MaxSAT,Weighted MaxSAT (WMaxSAT), Partial MaxSAT (PMaxSAT), and Weighted Partial MaxSAT (WPMaxSAT).

References

  1. 1.
    Argelich, J., Li, C.M., Manyà, F., Planes, J.: The first and second Max-SAT evaluations. Journal on Satisfiability, Boolean Modeling and Computation 4, 251–278 (2008)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Josep Argelich
    • 1
  • Chu Min Li
    • 2
  • Felip Manyà
    • 3
  • Jordi Planes
    • 1
  1. 1.Universitat de LleidaLleidaSpain
  2. 2.MIS, Université de Picardie Jules VerneAmiensFrance
  3. 3.Artificial Intelligence Research Institute (IIIA-CSIC)BellaterraSpain

Personalised recommendations