Linear Lower Bounds and Simulations in Frege Systems with Substitutions.
Maria Luisa BonetNicola GalesiPublished in: CSL (1997)
Keyphrases
- lower bound
- upper bound
- linear systems
- intelligent systems
- case study
- retrieval systems
- complex systems
- artificial intelligence
- upper and lower bounds
- quadratic assignment problem
- neural network
- lower and upper bounds
- branch and bound algorithm
- learning systems
- building blocks
- computer systems
- management system
- dynamic programming
- information systems