Login / Signup

Restricted Cutting Plane Proofs in Horn Constraint Systems.

Hans Kleine BüningPiotr J. WojciechowskiR. ChandrasekaranK. Subramani
Published in: FroCos (2019)
Keyphrases
  • cutting plane
  • cutting plane algorithm
  • cost function
  • linear programming
  • complex systems
  • column generation
  • mixed integer linear programming