Login / Signup
Applications of applicative proof search.
Liam O'Connor
Published in:
TyDe@ICFP (2016)
Keyphrases
</>
proof search
theorem prover
theorem proving
inference rules
linear logic
proof planning
search procedure
sequent calculus
proof procedure
automated reasoning
neural network
objective function
probability distribution
constraint satisfaction problems
tabu search
first order logic