loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 39th International Symposium on Multiple-Valued Logic
Generating Hard Instances for MaxSAT
Naha, Okinawaw, Japan
May 21-May 23
ISBN: 978-0-7695-3607-1
ASCII Text
x 
 
Ramón Béjar, Alba Cabiscol, Felip Manyà, Jordi Planes, "Generating Hard Instances for MaxSAT," Multiple-Valued Logic, IEEE International Symposium on, pp. 191-195, 2009 39th International Symposium on Multiple-Valued Logic, 2009.
 
 
BibTex
x
 
@article{ 10.1109/ISMVL.2009.58,
author = {Ramón Béjar and Alba Cabiscol and Felip Manyà and Jordi Planes},
title = {Generating Hard Instances for MaxSAT},
journal ={Multiple-Valued Logic, IEEE International Symposium on},
volume = {0},
year = {2009},
issn = {0195-623X},
pages = {191-195},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2009.58},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Multiple-Valued Logic, IEEE International Symposium on
TI - Generating Hard Instances for MaxSAT
SN - 0195-623X
SP191
EP195
A1 - Ramón Béjar,
A1 - Alba Cabiscol,
A1 - Felip Manyà,
A1 - Jordi Planes,
PY - 2009
KW - maxsat
KW - benchmark
KW - practical complexity
VL - 0
JA - Multiple-Valued Logic, IEEE International Symposium on
ER -
 
MaxSAT solvers have made tremendous progress in terms of performance in recent years. However, there has not been parallel progress in the generation of challenging benchmarks for studying the scaling behavior of solvers, and comparing their performance. Most experimental investigations only include, besides the standard MaxkSAT instances, the sets of individual instances submitted to the
Index Terms:
maxsat, benchmark, practical complexity
Citation:
Ramón Béjar, Alba Cabiscol, Felip Manyà, Jordi Planes, "Generating Hard Instances for MaxSAT," ismvl, pp.191-195, 2009 39th International Symposium on Multiple-Valued Logic, 2009
Usage of this product signifies your acceptance of the Terms of Use.