@book{sc2013proceedings, title = {Proceedings of {SAT} {C}ompetition 2013: Solver and Benchmark Descriptions}, editor = {Adrian Balint and Anton Belov and Marijn Heule and Matti J\"arvisalo}, series = {Department of Computer Science Series of Publications B}, volume = {B-2013-1}, publisher = {University of Helsinki}, year = {2013}, note = {ISBN 978-952-10-8991-6}, }