Login / Signup

New Results on Cutting Plane Proofs for Horn Constraint Systems.

Hans Kleine BüningPiotr J. WojciechowskiK. Subramani
Published in: FSTTCS (2019)
Keyphrases
  • cutting plane
  • lower bound