%0 Conference Proceedings %1 conf/sat/2018 %B SAT %D 2018 %E Beyersdorff, Olaf %E Wintersteiger, Christoph M. %I Springer %K dblp %T Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings %U http://dblp.uni-trier.de/db/conf/sat/sat2018.html %V 10929 %@ 978-3-319-94144-8

@proceedings{conf/sat/2018, added-at = {2019-09-16T00:00:00.000+0200}, biburl = {https://www.bibsonomy.org/bibtex/2b3c20f685f2623e9db3a2f0c623faa91/dblp}, booktitle = {SAT}, editor = {Beyersdorff, Olaf and Wintersteiger, Christoph M.}, ee = {https://doi.org/10.1007/978-3-319-94144-8}, interhash = {1ea7c4ea4c0f63ddd0eaf8fde17852f4}, intrahash = {b3c20f685f2623e9db3a2f0c623faa91}, isbn = {978-3-319-94144-8}, keywords = {dblp}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-07-01T07:15:53.000+0200}, title = {Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2018.html}, volume = 10929, year = 2018 }