undefined

Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization

Julkaisuvuosi

2023

Tekijät

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

Organisaatiot ja tekijät

Helsingin yliopisto

Jabs Christoph

Ihalainen Hannes Edvard

Berg Jeremias

Järvisalo Matti

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Kyllä

Julkaisukanavan avoin saatavuus

Kokonaan avoin julkaisukanava

Rinnakkaistallennettu

Kyllä

Muut tiedot

Tieteenalat

Tietojenkäsittely ja informaatiotieteet

Julkaisumaa

Saksa

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Ei

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.4230/LIPIcs.CP.2023.18

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä