Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization

Christoph Jabs; Jeremias Berg; Hannes Edvard Ihalainen; Matti Järvisalo

doi:10.4230/LIPIcs.CP.2023.18

Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization

Christoph Jabs, Jeremias Berg, Hannes Edvard Ihalainen, Matti Järvisalo

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

Originalspråk	engelska
Titel på värdpublikation	29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
Förlag	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Utgivningsdatum	2023
Sidor	18:1-18:20
ISBN (elektroniskt)	978-3-95977-300-3
DOI	https://doi.org/10.4230/LIPIcs.CP.2023.18
Status	Publicerad - 2023
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Conference on Principles and Practice of Constraint Programming - Toronto, Kanada Varaktighet: 27 aug. 2023 → 31 aug. 2023 Konferensnummer: 29

Publikationsserier

Namn	Leibniz International Proceedings in Informatics (LIPIcs)
Förlag	Schloss Dagstuhl - Leibniz Zentrum für Informatik
Volym	280
ISSN (elektroniskt)	1868-8969

Vetenskapsgrenar

113 Data- och informationsvetenskap

Åtkomst av dokument

10.4230/LIPIcs.CP.2023.18Licens: CC BY

paperAccepterat manuskript från författare, 1,26 MB
OptimizationSlutlig publicerad version, 1,48 MBLicens: CC BY

1 Slutfört
1 Aktiv

Next-generation Unsatisfiabillity-based Declarative Optimization
Järvisalo, M. (Projektledare), Conati, A. F. (deltagare), Eskelinen, V. (deltagare), Feyzbakhsh Rankooh, M. (deltagare), Jabs, C. J. (deltagare) & Lehtonen, T. (deltagare)
Finlands Akademi
01/09/2023 → 31/08/2027
Projekt: Finlands Akademi: Akademiprojektsbidrag
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Projekt: Forskningsprojekt

Citera det här

Jabs, C., Berg, J., Ihalainen, H. E., & Järvisalo, M. (2023). Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. I 29th International Conference on Principles and Practice of Constraint Programming (CP 2023) (s. 18:1-18:20). (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 280). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CP.2023.18

@inproceedings{9827fbb0c6664a45a41684def962c37a,

title = "Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization",

keywords = "113 Computer and information sciences",

author = "Christoph Jabs and Jeremias Berg and Ihalainen, {Hannes Edvard} and Matti J{\"a}rvisalo",

year = "2023",

doi = "10.4230/LIPIcs.CP.2023.18",

language = "English",

series = "Leibniz International Proceedings in Informatics (LIPIcs)",

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

pages = "18:1--18:20",

booktitle = "29th International Conference on Principles and Practice of Constraint Programming (CP 2023)",

address = "Germany",

note = "International Conference on Principles and Practice of Constraint Programming, CP ; Conference date: 27-08-2023 Through 31-08-2023",

}

Jabs, C , Berg, J , Ihalainen, HE & Järvisalo, M 2023, Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. i 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Leibniz International Proceedings in Informatics (LIPIcs), vol. 280, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 18:1-18:20, International Conference on Principles and Practice of Constraint Programming, Toronto, Kanada, 27/08/2023. https://doi.org/10.4230/LIPIcs.CP.2023.18

Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. / Jabs, Christoph ; Berg, Jeremias ; Ihalainen, Hannes Edvard et al.
29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. s. 18:1-18:20 (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 280).

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

TY - GEN

T1 - Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization

AU - Jabs, Christoph

AU - Berg, Jeremias

AU - Ihalainen, Hannes Edvard

AU - Järvisalo, Matti

N1 - Conference code: 29

PY - 2023

Y1 - 2023

KW - 113 Computer and information sciences

U2 - 10.4230/LIPIcs.CP.2023.18

DO - 10.4230/LIPIcs.CP.2023.18

M3 - Conference contribution

T3 - Leibniz International Proceedings in Informatics (LIPIcs)

SP - 18:1-18:20

BT - 29th International Conference on Principles and Practice of Constraint Programming (CP 2023)

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

T2 - International Conference on Principles and Practice of Constraint Programming

Y2 - 27 August 2023 through 31 August 2023

ER -

Jabs C , Berg J , Ihalainen HE , Järvisalo M. Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. I 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 2023. s. 18:1-18:20. (Leibniz International Proceedings in Informatics (LIPIcs)). doi: 10.4230/LIPIcs.CP.2023.18

Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization

Publikationsserier

Vetenskapsgrenar

Åtkomst av dokument

Projekt

Next-generation Unsatisfiabillity-based Declarative Optimization

Declarative Boolean Optimization: Pushing the Envelope

Citera det här