%0 Conference Paper %1 conf/frocos/Sebastiani07 %A Sebastiani, Roberto %B FroCoS %D 2007 %E Konev, Boris %E Wolter, Frank %I Springer %K dblp %P 28-46 %T From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2007.html#Sebastiani07 %V 4720 %@ 978-3-540-74620-1

@inproceedings{conf/frocos/Sebastiani07, added-at = {2017-05-21T00:00:00.000+0200}, author = {Sebastiani, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/27f7256cead6e68bd12bd1edf89642c33/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/2007}, editor = {Konev, Boris and Wolter, Frank}, ee = {https://doi.org/10.1007/978-3-540-74621-8_2}, interhash = {8debf2d3e2bd794fd1ad4e5c89ef5d3a}, intrahash = {7f7256cead6e68bd12bd1edf89642c33}, isbn = {978-3-540-74620-1}, keywords = {dblp}, pages = {28-46}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:02:41.000+0200}, title = {From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2007.html#Sebastiani07}, volume = 4720, year = 2007 }