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

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Originalspråk	engelska
Titel på värdpublikation	25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel
Redaktörer	Kuldeep Meel, Ofer Strichman
Antal sidor	19
Förlag	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Utgivningsdatum	2022
Sidor	14:1-14:19
ISBN (elektroniskt)	978-3-95977-242-6
DOI	https://doi.org/10.4230/LIPIcs.SAT.2022.14
Status	Publicerad - 2022
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Conference on Theory and Applications of Satisfiability Testing - Haifa, Israel Varaktighet: 2 aug. 2022 → 5 aug. 2022 Konferensnummer: 25

Publikationsserier

Namn	LIPIcs
Förlag	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Volym	236

Vetenskapsgrenar

113 Data- och informationsvetenskap

Åtkomst av dokument

10.4230/LIPIcs.SAT.2022.14Licens: CC BY

LIPIcs-SAT-2022-14Slutlig publicerad version, 1,48 MBLicens: CC BY

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

Citera det här

Niskanen, A., Berg, J., & Järvisalo, M. (2022). Incremental Maximum Satisfiability. I K. Meel, & O. Strichman (Red.), 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (s. 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. i K Meel & O Strichman (red), 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, s. 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. red. / Kuldeep Meel; Ofer Strichman. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. s. 14:1-14:19 (LIPIcs; Vol. 236).

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › 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

Publikationsserier

Vetenskapsgrenar

Åtkomst av dokument

Projekt

Symbolic Techniques for Formally Verified and Explainable AI

Declarative Boolean Optimization: Pushing the Envelope

Citera det här