Formalizing Bachmair and Ganzinger's Ordered Resolution Prover.

Anders Schlichtkrull Jasmin Christian Blanchette Dmitriy Traytel Uwe Waldmann

Published in: IJCAR (2018)

Keyphrases

high resolution
theorem proving
theorem prover
consequence finding
low resolution
user interface
evolutionary algorithm
conflict detection
neural network
ordered sets
higher resolution
partially ordered
expert systems
data structure
similarity measure
image segmentation
website