[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à, Felip
• 文件大小176.95KB
• 发表时间2009
• DOI10.1109/ISMVL.2009.23
• 页码196-202