MaxSAT-Based Bi-Objective Boolean Optimization

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
Otsikko25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel
ToimittajatKuldeep Meel, Ofer Strichman
Sivumäärä23
KustantajaSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Julkaisupäivä2022
Sivut12:1-12:23
ISBN (elektroninen)978-3-95977-242-6
DOI - pysyväislinkit
TilaJulkaistu - 2022
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Theory and Applications of Satisfiability Testing - Haifa, Israel
Kesto: 2 elok. 20225 elok. 2022
Konferenssinumero: 25

Julkaisusarja

NimiLIPIcs
KustantajaSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Vuosikerta236

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Siteeraa tätä