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
Regular Encodings from Max-CSP into Partial Max-SAT
Naha, Okinawaw, Japan
May 21-May 23
ISBN: 978-0-7695-3607-1
ASCII Text
x 
 
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà, "Regular Encodings from Max-CSP into Partial Max-SAT," Multiple-Valued Logic, IEEE International Symposium on, pp. 196-202, 2009 39th International Symposium on Multiple-Valued Logic, 2009.
 
 
BibTex
x
 
@article{ 10.1109/ISMVL.2009.23,
author = {Josep Argelich and Alba Cabiscol and Inês Lynce and Felip Manyà},
title = {Regular Encodings from Max-CSP into Partial Max-SAT},
journal ={Multiple-Valued Logic, IEEE International Symposium on},
volume = {0},
year = {2009},
issn = {0195-623X},
pages = {196-202},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2009.23},
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 - Regular Encodings from Max-CSP into Partial Max-SAT
SN - 0195-623X
SP196
EP202
A1 - Josep Argelich,
A1 - Alba Cabiscol,
A1 - Inês Lynce,
A1 - Felip Manyà,
PY - 2009
KW - Encodings
KW - Max-CSP
KW - Partial Max-SAT
VL - 0
JA - Multiple-Valued Logic, IEEE International Symposium on
ER -
 
We define a number of original encodings, called regular encodings, that map Max-CSP instances into Partial Max-SAT instances.
Index Terms:
Encodings, Max-CSP, Partial Max-SAT
Citation:
Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà, "Regular Encodings from Max-CSP into Partial Max-SAT," ismvl, pp.196-202, 2009 39th International Symposium on Multiple-Valued Logic, 2009
Usage of this product signifies your acceptance of the Terms of Use.