Bounded Proofs and Step Frames.

Nick Bezhanishvili Silvio Ghilardi

Published in: TABLEAUX (2013)

Keyphrases

databases
neural network
post processing
equational theories
data sets
data mining
information retrieval
computer vision
information systems
case study
optimal solution
moving objects
theorem prover
theorem proving
asymptotically optimal