![[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]()
[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-SATArgelich, Josep; Cabiscol, Alba; Lynce, Inês; Manyà, Felip · 2009