发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2010 40th IEEE International Symposium on Multiple-Valued Logic - Barcelona, Spain (2010.05.26-2010.05.28)] 2010 40th IEEE International Symposium on Multiple-Valued Logic - New Insights into Encodings from MaxCSP into Partial MaxSAT

[IEEE 2010 40th IEEE International Symposium on Multiple-Valued Logic - Barcelona, Spain (2010.05.26-2010.05.28)] 2010 40th IEEE International Symposium on Multiple-Valued Logic - New Insights into Encodings from MaxCSP into Partial MaxSAT

Argelich, Josep; Cabiscol, Alba; Lynce, Inês; Manyà, Felip

作者Argelich, Josep; Cabiscol, Alba; Lynce, Inês; Manyà, Felip
文件大小263.38KB
发表时间2010
DOI10.1109/ismvl.2010.17
页码46-52

← 返回【学霸图书馆】主页