%0 Conference Paper %1 conf/isola/BauerLST07 %A Bauer, Andreas %A Leucker, Martin %A Schallhart, Christian %A Tautschnig, Michael %B ISoLA %D 2007 %E Ameur, Yamine Aït %E Boniol, Frédéric %E Wiels, Virginie %I Cépaduès-Éditions %K dblp %P 135-146 %T Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. %U http://dblp.uni-trier.de/db/conf/isola/isola2007.html#BauerLST07 %V RNTI-SM-1 %@ 978-2-85428-814-8

@inproceedings{conf/isola/BauerLST07, added-at = {2014-04-24T00:00:00.000+0200}, author = {Bauer, Andreas and Leucker, Martin and Schallhart, Christian and Tautschnig, Michael}, biburl = {https://www.bibsonomy.org/bibtex/28f1ad76c402f716a9ee54276038740a3/dblp}, booktitle = {ISoLA}, crossref = {conf/isola/2007}, editor = {Ameur, Yamine Aït and Boniol, Frédéric and Wiels, Virginie}, ee = {http://editions-rnti.fr/?inprocid=1000540}, interhash = {53fa9bce66eeaf9bace8bf1c1140ccd5}, intrahash = {8f1ad76c402f716a9ee54276038740a3}, isbn = {978-2-85428-814-8}, keywords = {dblp}, pages = {135-146}, publisher = {Cépaduès-Éditions}, series = {Revue des Nouvelles Technologies de l'Information}, timestamp = {2015-06-18T15:45:51.000+0200}, title = {Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2007.html#BauerLST07}, volume = {RNTI-SM-1}, year = 2007 }