Non-polynomial Worst-Case Analysis of Recursive Programs.

Krishnendu Chatterjee Hongfei Fu Amir Kafshdar Goharshady

Published in: CAV (2) (2017)

Keyphrases

worst case analysis
recursive programs
program synthesis
average case
logic programs
worst case
transformation rules
greedy heuristic
np hardness
linear programming relaxation
np hard
genetic algorithm
lower bound
greedy algorithm
metamodel
uniform distribution