Login / Signup
Restricted Cutting Plane Proofs in Horn Constraint Systems.
Hans Kleine Büning
Piotr J. Wojciechowski
R. Chandrasekaran
K. Subramani
Published in:
FroCos (2019)
Keyphrases
</>
cutting plane
cutting plane algorithm
cost function
linear programming
complex systems
column generation
mixed integer linear programming