JOSEP
ARGELICH ROMA
CON
Universidade de Lisboa
Lisboa, PortugalUniversidade de Lisboa-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2009
-
Regular encodings from Max-CSP into partial Max-SAT
Proceedings of The International Symposium on Multiple-Valued Logic