埃格利,乌韦;马蒂娜·塞德尔;斯特凡·沃尔特兰 求反范式中QBF的解算器。 (英语) 兹比尔1167.68054 约束条件 第14期,第1期,第38-79页(2009年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{U.Egly}等人,《限制条件》14,第1期,38--79(2009;Zbl 1167.68054) 全文: 内政部
曼纽尔·博迪尔斯基;陈,胡比 相对量化的约束满足。 (英语) Zbl 1191.68625号 约束条件 14,第1期,第3-15页(2009年).MSC公司:68T20型 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{H.Chen},约束14,No.1,3--15(2009;Zbl 1191.68625) 全文: 内政部
Alexandre Goldsztejn,亚历山大;克劳德·米歇尔;米歇尔·鲁赫 有效处理普遍量化的不等式。 (英语) Zbl 1183.68577号 约束条件 14,第1期,117-135(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Goldsztejn}等人,《约束》14,第1期,117--135(2009;Zbl 1183.68577) 全文: 内政部
大卫·斯特恩斯;Kenneth N.Brown。 量化顾客服务提供商的价值排序。 (英语) Zbl 1191.68642号 约束条件 14,第1期,16-37页(2009年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Stynes}和\textit{K.N.Brown},约束14,No.1,16-37(2009;Zbl 1191.68642) 全文: 内政部
卢卡·普利纳;阿曼多·塔切拉 一种用于量化布尔公式的自适应多引擎求解器。 (英语) 兹比尔1183.68589 约束条件 14,第1期,80-116(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}和\textit{A.Tacchella},《限制条件》14,第1期,80-116(2009;Zbl 1183.68589) 全文: 内政部