Analyzing the Instances of the MaxSAT Evaluation

  • Josep Argelich
  • Chu Min Li
  • Felip Manyà
  • Jordi Planes
Conference paper

DOI: 10.1007/978-3-642-21581-0_29

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6695)
Cite this paper as:
Argelich J., Li C.M., Manyà F., Planes J. (2011) Analyzing the Instances of the MaxSAT Evaluation. In: Sakallah K.A., Simon L. (eds) Theory and Applications of Satisfiability Testing - SAT 2011. SAT 2011. Lecture Notes in Computer Science, vol 6695. Springer, Berlin, Heidelberg

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).

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