PPT-Lazy Proofs for DPLL(T)-Based SMT Solvers
Guy Katz Schloss Dagstuhl October 2016 Acknowledgements Based on joint work with Clark Barrett Cesare Tinelli Andrew Reynolds and Liana Hadarean FMCAD16 2 Stanford
Download Presentation
"Lazy Proofs for DPLL(T)-Based SMT Solvers" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.