Paper "Applications of MaxSAT in Data Analysis" accepted to PoS 2015