A characterization of span program size and improved lower bounds for monotone span programs.
Anna GálPublished in: Comput. Complex. (2001)
Keyphrases
- lower bound
- upper bound
- computer programs
- program execution
- automatic programming
- branch and bound algorithm
- optimal solution
- computer chess
- branch and bound
- high level programming language
- recursive programs
- programming education
- functional programs
- prolog programs
- control program
- novice programmers
- lower and upper bounds
- computational complexity
- running times
- constant factor
- java programs
- programming environment
- static analysis
- answer sets
- symbolic execution
- program code
- memory requirements
- logic programs
- programming language
- objective function