[IEEE 2009 39th International Symposium on Multiple-Valued Logic - Naha, Okinawaw, Japan (2009.05.21-2009.05.23)] 2009 39th International Symposium on Multiple-Valued Logic - Regular Encodings from Max-CSP into Partial Max-SAT
Argelich, Josep, Cabiscol, Alba, Lynce, Inês, Manyà, FelipYear:
2009
Language:
english
DOI:
10.1109/ISMVL.2009.23
File:
PDF, 177 KB
english, 2009