Login / Signup
SATO: An Efficient Propositional Prover.
Hantao Zhang
Published in:
CADE (1997)
Keyphrases
</>
theorem proving
first order logic
multiscale
propositional logic
multi valued
databases
knowledge base
theorem prover