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