Understanding Cutting Planes for QBFs.

Olaf Beyersdorff Leroy Chew Meena Mahajan Anil Shukla

Published in: Electron. Colloquium Comput. Complex. (2017)

Keyphrases

cutting plane
integer programming problems
cutting plane algorithm
lower bound
integer programming
column generation
integer program
special case
valid inequalities
integer linear programming
multistage stochastic
learning algorithm
upper bound
linear programming