Skip to main content
Conference Proceedings

Analyzing the instances of the MaxSAT evaluation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2011) 6695 LNCS 360-361
DOI: 10.1007/978-3-642-21581-0_29
11Citations
Citations of this article
9Readers
Mendeley users who have this article in their library.
Get full text

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). © 2011 Springer-Verlag.

Cite

CITATION STYLE

APA

Argelich, J., Li, C. M., Manyà, F., & Planes, J. (2011). Analyzing the instances of the MaxSAT evaluation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6695 LNCS, pp. 360–361). https://doi.org/10.1007/978-3-642-21581-0_29

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free