%0 Conference Paper %1 conf/lpar/BruttomessoCFGS06 %A Bruttomesso, Roberto %A Cimatti, Alessandro %A Franzén, Anders %A Griggio, Alberto %A Sebastiani, Roberto %B LPAR %D 2006 %E Hermann, Miki %E Voronkov, Andrei %I Springer %K dblp %P 527-541 %T Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2006.html#BruttomessoCFGS06 %V 4246 %@ 3-540-48281-4

@inproceedings{conf/lpar/BruttomessoCFGS06, added-at = {2019-06-02T00:00:00.000+0200}, author = {Bruttomesso, Roberto and Cimatti, Alessandro and Franzén, Anders and Griggio, Alberto and Sebastiani, Roberto}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fcc211641713c043a06da2a4a60f64a2/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2006}, editor = {Hermann, Miki and Voronkov, Andrei}, ee = {https://www.wikidata.org/entity/Q62041341}, interhash = {bb9ebf74bf2e26a633762b3aaac88aa1}, intrahash = {fcc211641713c043a06da2a4a60f64a2}, isbn = {3-540-48281-4}, keywords = {dblp}, pages = {527-541}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:46:51.000+0200}, title = {Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2006.html#BruttomessoCFGS06}, volume = 4246, year = 2006 }