Constructive Decision via Redundancy-Free Proof-Search.

Dominique Larchey-Wendling

Published in: IJCAR (2018)

Keyphrases

proof search
inference rules
theorem prover
theorem proving
linear logic
proof planning
search procedure
decision problems
proof procedure
machine learning
sequent calculus