%0 Conference Paper %1 conf/mbmv/ScheiblerB14 %A Scheibler, Karsten %A Becker, Bernd %B MBMV %D 2014 %E Ruf, Jürgen %E Allmendinger, Dirk %E Michel, Matteo %I Cuvillier %K %P 25-36 %T Implication Graph Compression inside the SMT Solver iSAT3. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2014.html#ScheiblerB14

@inproceedings{conf/mbmv/ScheiblerB14, added-at = {2023-12-12T18:41:48.000+0100}, author = {Scheibler, Karsten and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2e7caeaf5554e0a8aaf40c3e6d61dd67a/admin}, booktitle = {MBMV}, crossref = {conf/mbmv/2014}, editor = {Ruf, Jürgen and Allmendinger, Dirk and Michel, Matteo}, interhash = {15f62f9cde9f2eb67fcff5098bd32fb2}, intrahash = {e7caeaf5554e0a8aaf40c3e6d61dd67a}, keywords = {}, pages = {25-36}, publisher = {Cuvillier}, timestamp = {2023-12-12T18:41:48.000+0100}, title = {Implication Graph Compression inside the SMT Solver iSAT3.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2014.html#ScheiblerB14}, year = 2014 }