Understanding cutting planes for QBFs.

Olaf Beyersdorff Leroy Chew Meena Mahajan Anil Shukla

Published in: Inf. Comput. (2018)

Keyphrases

cutting plane
integer programming
lower bound
cutting plane algorithm
integer programming problems
integer program
mixed integer
column generation
bayesian networks
scheduling problem
linear programming
valid inequalities
integer linear programming