%0 Conference Paper %1 conf/cav/BozzanoBCJRRS05 %A Bozzano, Marco %A Bruttomesso, Roberto %A Cimatti, Alessandro %A Junttila, Tommi A. %A Ranise, Silvio %A van Rossum, Peter %A Sebastiani, Roberto %B CAV %D 2005 %E Etessami, Kousha %E Rajamani, Sriram K. %I Springer %K dblp %P 335-349 %T Efficient Satisfiability Modulo Theories via Delayed Theory Combination. %U http://dblp.uni-trier.de/db/conf/cav/cav2005.html#BozzanoBCJRRS05 %V 3576 %@ 3-540-27231-3

@inproceedings{conf/cav/BozzanoBCJRRS05, added-at = {2019-06-02T00:00:00.000+0200}, author = {Bozzano, Marco and Bruttomesso, Roberto and Cimatti, Alessandro and Junttila, Tommi A. and Ranise, Silvio and van Rossum, Peter and Sebastiani, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/204d2fcb32b067b06865d37b23e6cd67b/dblp}, booktitle = {CAV}, crossref = {conf/cav/2005}, editor = {Etessami, Kousha and Rajamani, Sriram K.}, ee = {https://www.wikidata.org/entity/Q62041373}, interhash = {cdb7f58f51f68003402b0a39e963a0f3}, intrahash = {04d2fcb32b067b06865d37b23e6cd67b}, isbn = {3-540-27231-3}, keywords = {dblp}, pages = {335-349}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T14:31:05.000+0200}, title = {Efficient Satisfiability Modulo Theories via Delayed Theory Combination.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2005.html#BozzanoBCJRRS05}, volume = 3576, year = 2005 }