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

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

Alkuperäiskieli	englanti
Otsikko	29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
Kustantaja	Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Julkaisupäivä	2023
Sivut	18:1-18:20
ISBN (elektroninen)	978-3-95977-300-3
DOI - pysyväislinkit	https://doi.org/10.4230/LIPIcs.CP.2023.18
Tila	Julkaistu - 2023
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Conference on Principles and Practice of Constraint Programming - Toronto, Kanada Kesto: 27 elok. 2023 → 31 elok. 2023 Konferenssinumero: 29

Julkaisusarja

Nimi	Leibniz International Proceedings in Informatics (LIPIcs)
Kustantaja	Schloss Dagstuhl - Leibniz Zentrum für Informatik
Vuosikerta	280
ISSN (elektroninen)	1868-8969

Tieteenalat

113 Tietojenkäsittely- ja informaatiotieteet

Pääsy asiakirjaan

10.4230/LIPIcs.CP.2023.18Lisenssi: CC BY

paperHyväksytty kirjoittajan käsikirjoitus, 1,26 MB
OptimizationLopullinen julkaistu versio, 1,48 MBLisenssi: CC BY

1 Päättynyt
1 Aktiivinen

Seuraavan sukupolven rajoiteoptimointimenetelmiä
Järvisalo, M. (Projektinjohtaja), Conati, A. F. (osallistuja), Eskelinen, V. (osallistuja), Feyzbakhsh Rankooh, M. (osallistuja), Jabs, C. J. (osallistuja) & Lehtonen, T. (osallistuja)
Suomen Akatemia
01/09/2023 → 31/08/2027
Projekti: Suomen Akatemia: Akatemiahanke
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti

Siteeraa tätä

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

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

@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. julkaisussa 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Vuosikerta 280, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Sivut 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); Vuosikerta 280).

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

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. julkaisussa 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

Julkaisusarja

Tieteenalat

Pääsy asiakirjaan

Projektit

Seuraavan sukupolven rajoiteoptimointimenetelmiä

Declarative Boolean Optimization: Pushing the Envelope

Siteeraa tätä