Login / Signup

On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems.

Piotr WojciechowskiK. Subramani
Published in: Ann. Math. Artif. Intell. (2022)
Keyphrases
  • cutting plane
  • cutting plane algorithm
  • genetic algorithm
  • lower bound
  • knapsack problem
  • index structure
  • tree structure
  • integer programming