For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM.

Maximilian P. L. Haslbeck Peter Lammich

Published in: ESOP (2021)

Keyphrases

fine grained
learning algorithm
dynamic programming
optimal solution
computational complexity
detection algorithm
coarse grained
np hard
probabilistic model
databases
objective function
simulated annealing
energy function