A Study of Proof Search Algorithms for Resolution and Polynomial Calculus.

Maria Luisa Bonet Nicola Galesi

Published in: FOCS (1999)

Keyphrases

search algorithm
information systems
statistical analysis
experimental study
theoretical framework
automated theorem proving
learning algorithm
artificial intelligence
database systems
high resolution
search methods
theorem prover