Lower Bounds for QCDCL via Formula Gauge.

Benjamin Böhm Olaf Beyersdorff

Published in: J. Autom. Reason. (2023)

Keyphrases

lower bound
upper bound
branch and bound algorithm
objective function
np hard
branch and bound
lower bounding
optimal solution
worst case
quadratic assignment problem
vc dimension
lower and upper bounds
upper and lower bounds
randomly generated problems
sample complexity
search algorithm
optimal cost