Understanding Cutting Planes for QBFs.

Olaf Beyersdorff Leroy Chew Meena Mahajan Anil Shukla

Published in: FSTTCS (2016)

Keyphrases

cutting plane
integer programming problems
cutting plane algorithm
integer programming
column generation
mixed integer
integer program
lower bound
knapsack problem
bayesian networks
particle swarm optimization
dynamic systems
multistage stochastic