Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
A Nelson-Oppen based Proof System using Theory Specific Proof Systems∗ Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract SMT solvers are nowadays per
Add to Reading List
Document Date: 2011-08-12 05:51:25
Open Document
File Size: 464,91 KB
Share Result on Facebook
A Nelson-Oppen based Proof System using Theory Specific Proof Systems∗ Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract SMT solvers are nowadays per