@book{sc2014proceedings,
title = {Proceedings of {SAT} {C}ompetition 2014: 
	Solver and Benchmark Descriptions},
editor = {Anton Belov and Daniel Diepold
	and Marijn J.H. Heule and Matti J\"arvisalo},
series = {Department of Computer Science Series of Publications B},
volume = {B-2014-2},
publisher = {University of Helsinki},
year = {2014},
note = {ISBN 978-951-51-0043-6},
}