%0 Journal Article %1 journals/sttt/BauerLST10 %A Bauer, Andreas %A Leucker, Martin %A Schallhart, Christian %A Tautschnig, Michael %D 2010 %J STTT %K dblp %N 1 %P 23-37 %T Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. %U http://dblp.uni-trier.de/db/journals/sttt/sttt12.html#BauerLST10 %V 12

@article{journals/sttt/BauerLST10, added-at = {2010-11-12T00:00:00.000+0100}, author = {Bauer, Andreas and Leucker, Martin and Schallhart, Christian and Tautschnig, Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f071f635b926807dacfb00d020792d2f/dblp}, ee = {http://dx.doi.org/10.1007/s10009-009-0133-2}, interhash = {b849de918204fb840f074876e5db473f}, intrahash = {f071f635b926807dacfb00d020792d2f}, journal = {STTT}, keywords = {dblp}, number = 1, pages = {23-37}, timestamp = {2016-02-02T09:11:30.000+0100}, title = {Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt12.html#BauerLST10}, volume = 12, year = 2010 }