Tight Worst-Case Bounds for Polynomial Loop Programs.

Amir M. Ben-Amram Geoff W. Hamilton

Published in: FoSSaCS (2019)

Keyphrases

worst case bounds
worst case
upper bound
lower bound
computer programs
search algorithm
low order
automatic programming
polynomial hierarchy
computer vision
multi agent
expert systems
real time
answer sets
fixpoint
stable models
artificial intelligence