Login / Signup
Encoding First Order Proofs in SMT.
Jeremy Bongio
Cyrus Katrak
Hai Lin
Christopher Lynch
Ralph Eric McGregor
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
higher order
first order logic
theorem proving
statistical machine translation
theorem prover
fractal image compression
encoding scheme
formal proofs
neural network
universally quantified
video coding
mathematical proofs