Login / Signup
Rocket-Fast Proof Checking for SMT Solvers.
Michal Moskal
Published in:
TACAS (2008)
Keyphrases
</>
modulo theories
answer set programming
theorem prover
automated theorem proving
sat solvers
information systems
artificial intelligence
natural language
natural language processing
logic programs
orders of magnitude
constraint satisfaction
statistical machine translation
satisfiability modulo theories