Applications of MaxSAT in Data Analysis

Otto Jeremias Berg; Antti Juhani Hyttinen; Matti Juhani Järvisalo

doi:10.29007/3qkh

Applications of MaxSAT in Data Analysis

Otto Jeremias Berg, Antti Juhani Hyttinen, Matti Juhani Järvisalo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	Proceedings of Pragmatics of SAT 2015 and 2018
Editors	Daniel Le Berre, Matti Järvisalo
Number of pages	15
Place of Publication	Manchester, UK
Publisher	EasyChair Publications
Publication date	2019
Pages	50-64
DOIs	https://doi.org/10.29007/3qkh
Publication status	Published - 2019
MoE publication type	A4 Article in conference proceedings
Event	International Conferences on Theory and Applications of Satisfiability Testing - Austin, United States Duration: 24 Sept 2015 → 27 Sept 2015 Conference number: 18 https://www.cs.utexas.edu/~marijn/sat15/

Publication series

Name	EPiC Series in Computing
Publisher	EasyChair
Volume	59
ISSN (Electronic)	2398-7340

Fields of Science

113 Computer and information sciences

Access to Document

10.29007/3qkh

Applications_of_MaxSAT_in_Data_Analysis-1Final published version, 382 KB

Harnessing Constraint Reasoning for Structure Discovery
Järvisalo, M. (Project manager)
Unknown funder
01/01/2015 → 31/12/2018
Project: University of Helsinki Three-Year Research Project
Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
Järvisalo, M. (Project manager)
Unknown funder
01/09/2014 → 31/08/2019
Project: Research project

Cite this

@inproceedings{2b641860a59d4fe59f3b0e02bf2b5ee0,

title = "Applications of MaxSAT in Data Analysis",

keywords = "113 Computer and information sciences",

author = "Berg, {Otto Jeremias} and Hyttinen, {Antti Juhani} and J{\"a}rvisalo, {Matti Juhani}",

year = "2019",

doi = "10.29007/3qkh",

language = "English",

series = "EPiC Series in Computing",

publisher = "EasyChair Publications",

pages = "50--64",

editor = "{Le Berre}, Daniel and Matti J{\"a}rvisalo",

booktitle = "Proceedings of Pragmatics of SAT 2015 and 2018",

address = "International",

note = "International Conferences on Theory and Applications of Satisfiability Testing, SAT 2015 ; Conference date: 24-09-2015 Through 27-09-2015",

url = "https://www.cs.utexas.edu/~marijn/sat15/",

}

Berg, OJ , Hyttinen, AJ & Järvisalo, MJ 2019, Applications of MaxSAT in Data Analysis. in D Le Berre & M Järvisalo (eds), Proceedings of Pragmatics of SAT 2015 and 2018. EPiC Series in Computing, vol. 59, EasyChair Publications, Manchester, UK, pp. 50-64, International Conferences on Theory and Applications of Satisfiability Testing, Austin, Texas, United States, 24/09/2015. https://doi.org/10.29007/3qkh

Applications of MaxSAT in Data Analysis. / Berg, Otto Jeremias ; Hyttinen, Antti Juhani ; Järvisalo, Matti Juhani.
Proceedings of Pragmatics of SAT 2015 and 2018. ed. / Daniel Le Berre; Matti Järvisalo. Manchester, UK: EasyChair Publications, 2019. p. 50-64 (EPiC Series in Computing; Vol. 59).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Applications of MaxSAT in Data Analysis

AU - Berg, Otto Jeremias

AU - Hyttinen, Antti Juhani

AU - Järvisalo, Matti Juhani

N1 - Conference code: 18

PY - 2019

Y1 - 2019

KW - 113 Computer and information sciences

U2 - 10.29007/3qkh

DO - 10.29007/3qkh

M3 - Conference contribution

T3 - EPiC Series in Computing

SP - 50

EP - 64

BT - Proceedings of Pragmatics of SAT 2015 and 2018

A2 - Le Berre, Daniel

A2 - Järvisalo, Matti

PB - EasyChair Publications

CY - Manchester, UK

T2 - International Conferences on Theory and Applications of Satisfiability Testing

Y2 - 24 September 2015 through 27 September 2015

ER -

Applications of MaxSAT in Data Analysis

Publication series

Fields of Science

Access to Document

Projects

Harnessing Constraint Reasoning for Structure Discovery

Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting

Cite this