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