Login / Signup
SAT-Enhanced Mizar Proof Checking.
Adam Naumowicz
Published in:
CICM (2014)
Keyphrases
</>
computer assisted
theorem proving
satisfiability problem
sat solvers
sat solving
stochastic local search
natural deduction
state space
phase transition
max sat
case study
orders of magnitude
theorem prover
linear logic