%0 Conference Paper %1 conf/sfm/CimattiS06 %A Cimatti, Alessandro %A Sebastiani, Roberto %B SFM %D 2006 %E Bernardo, Marco %E Cimatti, Alessandro %I Springer %K dblp %P 144-175 %T Building Efficient Decision Procedures on Top of SAT Solvers. %U http://dblp.uni-trier.de/db/conf/sfm/sfm2006.html#CimattiS06 %V 3965 %@ 978-3-540-34304-2

@inproceedings{conf/sfm/CimattiS06, added-at = {2019-06-02T00:00:00.000+0200}, author = {Cimatti, Alessandro and Sebastiani, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/2aaefd20f8fbc61f719ccc6969a364ef2/dblp}, booktitle = {SFM}, crossref = {conf/sfm/2006}, editor = {Bernardo, Marco and Cimatti, Alessandro}, ee = {https://www.wikidata.org/entity/Q62041338}, interhash = {4d0b26aec54fa05679d207920b1b82e8}, intrahash = {aaefd20f8fbc61f719ccc6969a364ef2}, isbn = {978-3-540-34304-2}, keywords = {dblp}, pages = {144-175}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T14:04:59.000+0200}, title = {Building Efficient Decision Procedures on Top of SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/sfm/sfm2006.html#CimattiS06}, volume = 3965, year = 2006 }