Automated complexity analysis based on ordered resolution.
David A. BasinHarald GanzingerPublished in: J. ACM (2001)
Keyphrases
- complexity analysis
- theoretical analysis
- lower bound
- semi automated
- first order logic
- fully automated
- computational complexity
- consequence finding
- information retrieval
- high resolution
- context sensitive
- conflict detection
- data sets
- automated analysis
- partially ordered
- human operators
- computer aided
- semi automatic
- probabilistic model
- expert systems
- digital libraries
- similarity measure
- information systems
- computer vision