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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	englanti
Otsikko	25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel
Toimittajat	Kuldeep Meel, Ofer Strichman
Sivumäärä	19
Kustantaja	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Julkaisupäivä	2022
Sivut	14:1-14:19
ISBN (elektroninen)	978-3-95977-242-6
DOI - pysyväislinkit	https://doi.org/10.4230/LIPIcs.SAT.2022.14
Tila	Julkaistu - 2022
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Conference on Theory and Applications of Satisfiability Testing - Haifa, Israel Kesto: 2 elok. 2022 → 5 elok. 2022 Konferenssinumero: 25

Julkaisusarja

Nimi	LIPIcs
Kustantaja	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Vuosikerta	236

Tieteenalat

113 Tietojenkäsittely- ja informaatiotieteet

Pääsy asiakirjaan

10.4230/LIPIcs.SAT.2022.14Lisenssi: CC BY

LIPIcs-SAT-2022-14Lopullinen julkaistu versio, 1,48 MBLisenssi: CC BY

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

Siteeraa tätä

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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

Julkaisusarja

Tieteenalat

Pääsy asiakirjaan

Projektit

Symbolic Techniques for Formally Verified and Explainable AI

Declarative Boolean Optimization: Pushing the Envelope

Siteeraa tätä