@book{mse2017proceedings,
title = {{MaxSAT} {E}valuation 2017: 
	Solver and Benchmark Descriptions},
editor = {Carlos Ansotegui and Fahiem Bacchus 
	and Matti J\"arvisalo and Ruben Martins},
series = {Department of Computer Science Series of Publications B},
volume = {B-2017-2},
publisher = {University of Helsinki},
year = {2017},
}