@inproceedings{BergHJ:POS2015, author = {Jeremias Berg and Antti Hyttinen and Matti J\"arvisalo}, title = {Applications of {MaxSAT} in Data Analysis}, booktitle = {Proceedings of the 6th Pragmatics of SAT Workshop}, year = {2015}, } Abstract: We highlight important real-world optimization problems arising from data analysis and machine learning, representing somewhat atypical applications of SAT-based solver technology. To address the problem of current lack of heterogeneity in benchmark sets available for evaluating MaxSAT solvers, we provide a benchmark library of MaxSAT instances encoding different data analysis and machine learning problems. By doing so, we also advocate extending MaxSAT solvers to support real-valued weights for soft clauses via the presented problem domains in which the costs are naturally real-valued.