Login / Signup
The Cutting Plane Proof System with Bounded Degree of Falsity.
Andreas Goerdt
Published in:
CSL (1991)
Keyphrases
</>
cutting plane
bounded degree
graph theoretic
integer programming
cutting plane algorithm
modal logic
lower bound
integer program
column generation
knapsack problem
mixed integer
bounded treewidth
exact penalty
linear programming
optimal solution
linear program
probability distribution