@book{sc2012proceedings,
title = {Proceedings of {SAT} {C}hallenge 2012: 
	Solver and Benchmark Descriptions},
editor = {Adrian Balint and Anton Belov and Daniel Diepold
	and Simon Gerber and Matti J\"arvisalo and Carsten Sinz},
series = {Department of Computer Science Series of Publications B},
volume = {B-2012-2},
publisher = {University of Helsinki},
year = {2012},
note = {ISBN 978-952-10-8106-4},
}