@book{sc2017proceedings,
title = {Proceedings of {SAT} {C}ompetition 2017: 
	Solver and Benchmark Descriptions},
editor = {Tomas Balyo
	and Marijn Heule and Matti J\"arvisalo},
series = {Department of Computer Science Series of Publications B},
volume = {B-2017-1},
publisher = {University of Helsinki},
year = {2017},
}