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

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

Original language	English
Title of host publication	29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
Publisher	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Publication date	2023
Pages	18:1-18:20
ISBN (Electronic)	978-3-95977-300-3
DOIs	https://doi.org/10.4230/LIPIcs.CP.2023.18
Publication status	Published - 2023
MoE publication type	A4 Article in conference proceedings
Event	International Conference on Principles and Practice of Constraint Programming - Toronto, Canada Duration: 27 Aug 2023 → 31 Aug 2023 Conference number: 29

Publication series

Name	Leibniz International Proceedings in Informatics (LIPIcs)
Publisher	Schloss Dagstuhl - Leibniz Zentrum für Informatik
Volume	280
ISSN (Electronic)	1868-8969

Fields of Science

113 Computer and information sciences

Access to Document

10.4230/LIPIcs.CP.2023.18Licence: CC BY

paperAccepted author manuscript, 1.26 MB
OptimizationFinal published version, 1.48 MBLicence: CC BY

1 Finished
1 Active

Next-generation Unsatisfiabillity-based Declarative Optimization
Järvisalo, M. (Project manager), Conati, A. F. (Participant), Eskelinen, V. (Participant), Feyzbakhsh Rankooh, M. (Participant), Jabs, C. J. (Participant) & Lehtonen, T. (Participant)
Academy of Finland
01/09/2023 → 31/08/2027
Project: Research Council of Finland: Academy Project
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Project: Research project

Cite this

Jabs, C., Berg, J., Ihalainen, H. E., & Järvisalo, M. (2023). Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. In 29th International Conference on Principles and Practice of Constraint Programming (CP 2023) (pp. 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. in 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, pp. 18:1-18:20, International Conference on Principles and Practice of Constraint Programming, Toronto, Canada, 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. p. 18:1-18:20 (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 280).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › 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. In 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 2023. p. 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

Publication series

Fields of Science

Access to Document

Projects

Next-generation Unsatisfiabillity-based Declarative Optimization

Declarative Boolean Optimization: Pushing the Envelope

Cite this