Relating two width measures for resolution proofs.
Andreas KrebsMeena MahajanAnil ShuklaPublished in: Electron. Colloquium Comput. Complex. (2016)
Keyphrases
- theorem proving
- evaluation measures
- high resolution
- real time
- theorem prover
- neural network
- database
- case study
- search algorithm
- formal proofs
- quantitative measures
- higher resolution
- quality measures
- evolutionary algorithm
- artificial neural networks
- lower bound
- feature selection
- information systems
- computer vision
- information retrieval
- real world