Login / Signup
Proof Search Optimizations for Non-Clausal Connection Calculi.
Jens Otten
Published in:
PAAR@FLoC (2018)
Keyphrases
</>
proof search
theorem proving
theorem prover
proof planning
decision procedures
proof procedure
inference rules
first order logic
linear logic
automated reasoning
search procedure
sequent calculus
genetic algorithm
artificial intelligence
constraint satisfaction