A Generic Coq Proof of Typical Worst-Case Analysis.

Pascal Fradet Maxime Lesourd Jean-François Monin Sophie Quinton

Published in: RTSS (2018)

Keyphrases

worst case analysis
theorem prover
average case
worst case
np hardness
greedy heuristic
linear programming relaxation
inference rules
first order logic
formal methods
training data
lower bound
np hard
upper bound
multistage