Incremental Maximum Satisfiability

Andreas Niskanen; Jeremias Berg; Matti Järvisalo

doi:10.4230/LIPIcs.SAT.2022.14

Incremental Maximum Satisfiability

Andreas Niskanen, Jeremias Berg, Matti Järvisalo

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

Original language	English
Title of host publication	25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel
Editors	Kuldeep Meel, Ofer Strichman
Number of pages	19
Publisher	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Publication date	2022
Pages	14:1-14:19
ISBN (Electronic)	978-3-95977-242-6
DOIs	https://doi.org/10.4230/LIPIcs.SAT.2022.14
Publication status	Published - 2022
MoE publication type	A4 Article in conference proceedings
Event	International Conference on Theory and Applications of Satisfiability Testing - Haifa, Israel Duration: 2 Aug 2022 → 5 Aug 2022 Conference number: 25

Publication series

Name	LIPIcs
Publisher	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Volume	236

Fields of Science

113 Computer and information sciences

Access to Document

10.4230/LIPIcs.SAT.2022.14Licence: CC BY

LIPIcs-SAT-2022-14Final published version, 1.48 MBLicence: CC BY

Symbolic Techniques for Formally Verified and Explainable AI
Järvisalo, M. (Principal Investigator)
01/01/2020 → 31/12/2022
Project: Research project
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Project: Research project

Cite this

Niskanen, A., Berg, J., & Järvisalo, M. (2022). Incremental Maximum Satisfiability. In K. Meel, & O. Strichman (Eds.), 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (pp. 14:1-14:19). (LIPIcs; Vol. 236). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAT.2022.14

@inproceedings{49d5b80d21a64a47baab4fb1e753f405,

title = "Incremental Maximum Satisfiability",

keywords = "113 Computer and information sciences",

author = "Andreas Niskanen and Jeremias Berg and Matti J{\"a}rvisalo",

year = "2022",

doi = "10.4230/LIPIcs.SAT.2022.14",

language = "English",

series = "LIPIcs",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",

pages = "14:1--14:19",

editor = "Kuldeep Meel and Ofer Strichman",

booktitle = "25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel",

address = "Germany",

note = "International Conference on Theory and Applications of Satisfiability Testing, SAT ; Conference date: 02-08-2022 Through 05-08-2022",

}

Niskanen, A , Berg, J & Järvisalo, M 2022, Incremental Maximum Satisfiability. in K Meel & O Strichman (eds), 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. LIPIcs, vol. 236, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 14:1-14:19, International Conference on Theory and Applications of Satisfiability Testing, Haifa, Israel, 02/08/2022. https://doi.org/10.4230/LIPIcs.SAT.2022.14

Incremental Maximum Satisfiability. / Niskanen, Andreas ; Berg, Jeremias ; Järvisalo, Matti.
25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. ed. / Kuldeep Meel; Ofer Strichman. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. p. 14:1-14:19 (LIPIcs; Vol. 236).

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

TY - GEN

T1 - Incremental Maximum Satisfiability

AU - Niskanen, Andreas

AU - Berg, Jeremias

AU - Järvisalo, Matti

N1 - Conference code: 25

PY - 2022

Y1 - 2022

KW - 113 Computer and information sciences

U2 - 10.4230/LIPIcs.SAT.2022.14

DO - 10.4230/LIPIcs.SAT.2022.14

M3 - Conference contribution

T3 - LIPIcs

SP - 14:1-14:19

BT - 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel

A2 - Meel, Kuldeep

A2 - Strichman, Ofer

PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik

T2 - International Conference on Theory and Applications of Satisfiability Testing

Y2 - 2 August 2022 through 5 August 2022

ER -

Incremental Maximum Satisfiability

Publication series

Fields of Science

Access to Document

Projects

Symbolic Techniques for Formally Verified and Explainable AI

Declarative Boolean Optimization: Pushing the Envelope

Cite this