Non-polynomial Worst-Case Analysis of Recursive Programs.

Krishnendu Chatterjee Hongfei Fu Amir Kafshdar Goharshady

Published in: CoRR (2017)

Keyphrases

worst case analysis
recursive programs
program synthesis
logic programs
average case
worst case
transformation rules
np hardness
greedy heuristic
evolutionary algorithm
np hard
objective function
data model
supervised learning
approximation algorithms