%0 Conference Paper %1 conf/fmcad/KatzBTRH16 %A Katz, Guy %A Barrett, Clark W. %A Tinelli, Cesare %A Reynolds, Andrew %A Hadarean, Liana %B FMCAD %D 2016 %E Piskac, Ruzica %E Talupur, Muralidhar %I IEEE %K dblp %P 93-100 %T Lazy proofs for DPLL(T)-based SMT solvers. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2016.html#KatzBTRH16 %@ 978-0-9835678-6-8

@inproceedings{conf/fmcad/KatzBTRH16, added-at = {2023-09-30T00:00:00.000+0200}, author = {Katz, Guy and Barrett, Clark W. and Tinelli, Cesare and Reynolds, Andrew and Hadarean, Liana}, biburl = {https://www.bibsonomy.org/bibtex/2d2fe7964565b147f9393f6f9617d63a7/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2016}, editor = {Piskac, Ruzica and Talupur, Muralidhar}, ee = {https://doi.org/10.1109/FMCAD.2016.7886666}, interhash = {efa6d4d86df70b4ed8343f7b53622e84}, intrahash = {d2fe7964565b147f9393f6f9617d63a7}, isbn = {978-0-9835678-6-8}, keywords = {dblp}, pages = {93-100}, publisher = {IEEE}, timestamp = {2024-04-10T16:53:42.000+0200}, title = {Lazy proofs for DPLL(T)-based SMT solvers.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2016.html#KatzBTRH16}, year = 2016 }