%0 Journal Article %1 journals/iandc/BozzanoBCJRRS06 %A Bozzano, Marco %A Bruttomesso, Roberto %A Cimatti, Alessandro %A Junttila, Tommi A. %A Ranise, Silvio %A van Rossum, Peter %A Sebastiani, Roberto %D 2006 %J Inf. Comput. %K dblp %N 10 %P 1493-1525 %T Efficient theory combination via boolean search. %U http://dblp.uni-trier.de/db/journals/iandc/iandc204.html#BozzanoBCJRRS06 %V 204

@article{journals/iandc/BozzanoBCJRRS06, added-at = {2021-10-14T00: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/293d4396effc7ac59aa9a86c6a978da3c/dblp}, ee = {https://www.wikidata.org/entity/Q62041344}, interhash = {bb358aa852433d0303fc6da70b42b0d7}, intrahash = {93d4396effc7ac59aa9a86c6a978da3c}, journal = {Inf. Comput.}, keywords = {dblp}, number = 10, pages = {1493-1525}, timestamp = {2024-04-09T06:10:15.000+0200}, title = {Efficient theory combination via boolean search.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc204.html#BozzanoBCJRRS06}, volume = 204, year = 2006 }