A Characterization of Span Program Size and Improved Lower Bounds for Monotone Span Programs.
Anna GálPublished in: STOC (1998)
Keyphrases
- lower bound
- upper bound
- computer programs
- java programs
- objective function
- functional programs
- program execution
- automatic programming
- intermediate level
- computer chess
- running times
- programming environment
- upper and lower bounds
- uniform distribution
- branch and bound
- logic programs
- control program
- programming environments
- symbolic execution
- programs written
- worst case
- program slicing
- computational complexity