%0 Conference Proceedings %1 conf/sat/2017 %B SAT %D 2017 %E Gaspers, Serge %E Walsh, Toby %I Springer %K dblp %T Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings %U http://dblp.uni-trier.de/db/conf/sat/sat2017.html %V 10491 %@ 978-3-319-66263-3

@proceedings{conf/sat/2017, added-at = {2019-05-14T00:00:00.000+0200}, biburl = {https://www.bibsonomy.org/bibtex/2eabfe5622644cf8e654db23de114f2f9/dblp}, booktitle = {SAT}, editor = {Gaspers, Serge and Walsh, Toby}, ee = {https://doi.org/10.1007/978-3-319-66263-3}, interhash = {5ce82ddb1a55825a6b860ba86a785ab2}, intrahash = {eabfe5622644cf8e654db23de114f2f9}, isbn = {978-3-319-66263-3}, keywords = {dblp}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:01:43.000+0200}, title = {Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2017.html}, volume = 10491, year = 2017 }