Lower Bounds on Argument Verification in Computational Dialectic.

Gerard Vreeswijk

Published in: COMMA (2010)

Keyphrases

lower bound
upper bound
cutting plane
objective function
branch and bound
branch and bound algorithm
vc dimension
face verification
lower bounding
image registration
integer programming
formal verification
quadratic assignment problem
polynomial approximation