A Lower Bound for Polynomial Calculus with Extension Rule.

Yaroslav Alekseev

Published in: Computational Complexity Conference (2021)

Keyphrases

lower bound
upper bound
branch and bound
optimal solution
worst case
branch and bound algorithm
lower and upper bounds
objective function
rule induction
np hard
rule learning
linear time temporal logic
data mining
average case
inference rules
rule sets
combinatorial optimization