Resolution and the integrality of satisfiability problems

被引：0

|

作者：

机构：

来源：

Math Program Ser A | / 1卷 / 01期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] Resolution and the integrality of satisfiability problems
GSIA, Carnegie Mellon University, Pittsburgh, PA 15213, United States
Math Program Ser B, 1 (1-10):
[2] Resolution and the integrality of satisfiability problems
Hooker, JN
MATHEMATICAL PROGRAMMING, 1996, 74 (01) : 1 - 10
[3] ON DUAL INTEGRALITY IN MATCHING PROBLEMS
BARAHONA, F
CUNNINGHAM, WH
OPERATIONS RESEARCH LETTERS, 1989, 8 (05) : 245 - 249
[4] Resolution for Stochastic Boolean Satisfiability
Teige, Tino
Fraenzle, Martin
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 625 - 639
[5] Counting for Satisfiability by Inverting Resolution
Ştefan Andrei
Artificial Intelligence Review, 2004, 22 : 339 - 366
[6] Counting for satisfiability by inverting resolution
Andrei, S
ARTIFICIAL INTELLIGENCE REVIEW, 2004, 22 (04) : 339 - 366
[7] Integrality Gaps of Integer Knapsack Problems
Aliev, Iskander
Henk, Martin
Oertel, Timm
INTEGER PROGRAMMING AND COMBINATORIAL OPTIMIZATION, IPCO 2017, 2017, 10328 : 25 - 38
[8] A HIERARCHY OF TRACTABLE SATISFIABILITY PROBLEMS
DALAL, M
ETHERINGTON, DW
INFORMATION PROCESSING LETTERS, 1992, 44 (04) : 173 - 180
[9] Approximating satisfiable satisfiability problems
Trevisan, L
ALGORITHMICA, 2000, 28 (01) : 145 - 172
[10] Approximating Satisfiable Satisfiability Problems
L. Trevisan
Algorithmica, 2000, 28 : 145 - 172

← 1 2 3 4 5 →