×

找到8个文档(结果1-8)

MAX-2-SAT和MAX-3-SAT的半定编程方法:计算视角。 (英语) Zbl 1029.90053号

Pardalos,Panos M.(编辑)等人,《组合与全局优化》。新加坡:世界科学。序列号。申请。数学。,辛加普。14, 161-176 (2002).
MSC公司:90C22型
PDF格式BibTeX公司 XML格式引用

使用半定规划的可满足性问题的松弛。 (英语) Zbl 0979.68050号

Gent,Ian(编辑)等人,SAT2000。2000年满意度研究重点。第三次国际研讨会,1998年9月。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。第63189-213页(2000年)。
MSC公司:65年第68季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份