Induction in Saturation-Based Proof Search.

Giles Reger Andrei Voronkov

Published in: CADE (2019)

Keyphrases

proof search
theorem prover
proof planning
inference rules
theorem proving
linear logic
search procedure
first order logic
automated reasoning
proof procedure
sequent calculus
neural network
bayesian networks
optimization problems
modal logic
decision procedures