Constructive Decision via Redundancy-Free Proof-Search.

Dominique Larchey-Wendling

Published in: J. Autom. Reason. (2020)

Keyphrases

proof search
linear logic
theorem proving
theorem prover
inference rules
proof planning
decision problems
search procedure
sequent calculus
proof procedure
artificial intelligence
decision theory
machine learning
np hard
optimization problems