%0 Conference Paper %1 conf/sat/Davis07 %A Davis, Martin %B SAT %D 2007 %E Marques-Silva, João %E Sakallah, Karem A. %I Springer %K dblp %P 1-2 %T SAT: Past and Future. %U http://dblp.uni-trier.de/db/conf/sat/sat2007.html#Davis07 %V 4501 %@ 978-3-540-72787-3

@inproceedings{conf/sat/Davis07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Davis, Martin}, biburl = {https://www.bibsonomy.org/bibtex/22d25b1241298d0abb70f6a8e00bb0dd5/dblp}, booktitle = {SAT}, crossref = {conf/sat/2007}, editor = {Marques-Silva, João and Sakallah, Karem A.}, ee = {https://doi.org/10.1007/978-3-540-72788-0_1}, interhash = {7b6226639b8bd17421658bafad36e377}, intrahash = {2d25b1241298d0abb70f6a8e00bb0dd5}, isbn = {978-3-540-72787-3}, keywords = {dblp}, pages = {1-2}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-25T14:23:06.000+0100}, title = {SAT: Past and Future.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2007.html#Davis07}, volume = 4501, year = 2007 }