An Empirical Study for Satisfiability Problems in Propositional Logic Using Set Covering Formulation
![]() |
Cho, geon (School of Business Administration at Chonnam National University, Standing Researcher of Management Research Institute) |
1 |
On the Set Covering PolytopeⅠ: All Facets with Coefficients in {0, 1, 2}
/
DOI |
2 |
A Quantitative Approach to Logical Inference
/
DOI ScienceOn |
3 |
Solving Propositional Satisfiability Problems
/
DOI |
4 |
On the Set Covering Problem
/
|
5 |
/
|
6 |
Functional Description of MINTO, a Mixed INTeger Optimizer
/
|
7 |
Input Proofs and Rank One Cutting Planes
/
DOI |
8 |
On the 0,1 Facets of the Set Covering Polytope
/
|
9 |
A Computational Study of Satisfiability Algorithms for Propositional Logic
/
|
10 |
On the Facial Structure of the Set Covering Polytope
/
DOI |
11 |
On the Set Covering Polytope Ⅱ: Lifting the Facets with Coefficients in {0, 1, 2}
/
DOI |
12 |
Generalized Resolution and Cutting Ploanes
/
DOI |
13 |
Bransch-and-Cut Solution of Inference Problems in Propositional Logic
/
|
14 |
Facets and Lifting Procedures for the Set Covering Polytope
/
DOI |
15 |
<TEX>$K_i$</TEX>-coversⅠ: Complexity and Polytopes
/
|
16 |
Some Facets of Satisfiability
/
|
17 |
Some Results and Experiments in Programming Techniques for Propositional Logic
/
DOI ScienceOn |
![]() |