Preprocessing in SAT Solving

Armin Biere; Matti Järvisalo; Benjamin Kiesl

doi:10.3233/FAIA200992

Preprocessing in SAT Solving

Armin Biere
, Matti Järvisalo
, Benjamin Kiesl

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	englanti
Otsikko	Handbook of Satisfiability
Toimittajat	Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh
Kustantaja	IOS PRESS
Julkaisupäivä	2021
Painos	2
Sivut	391 - 435
ISBN (painettu)	978-1-64368-160-3
ISBN (elektroninen)	978-1-64368-161-0
DOI - pysyväislinkit	https://doi.org/10.3233/FAIA200992
Tila	Julkaistu - 2021
OKM-julkaisutyyppi	A3 Kirjan tai muun kokoomateoksen osa

Julkaisusarja

Nimi	Frontiers in Artificial Intelligence and Applications
Kustantaja	IOS Press
Vuosikerta	336

Tieteenalat

113 Tietojenkäsittely- ja informaatiotieteet

Pääsy asiakirjaan

10.3233/FAIA200992

Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti

Siteeraa tätä

@inbook{72cdeedd79ef41fd8bdd661cb0a797d7,

title = "Preprocessing in SAT Solving",

keywords = "113 Computer and information sciences",

author = "Armin Biere and Matti J{\"a}rvisalo and Benjamin Kiesl",

year = "2021",

doi = "10.3233/FAIA200992",

language = "English",

isbn = "978-1-64368-160-3",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS PRESS",

pages = "391 -- 435",

editor = "Armin Biere and Marijn Heule and \{van Maaren\}, Hans and Toby Walsh",

booktitle = "Handbook of Satisfiability",

address = "Netherlands",

edition = "2",

}

Preprocessing in SAT Solving. / Biere, Armin; Järvisalo, Matti; Kiesl, Benjamin.
Handbook of Satisfiability. toim. / Armin Biere; Marijn Heule; Hans van Maaren; Toby Walsh. 2. toim. IOS PRESS, 2021. s. 391 - 435 (Frontiers in Artificial Intelligence and Applications; Vuosikerta 336).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu

TY - CHAP

T1 - Preprocessing in SAT Solving

AU - Biere, Armin

AU - Järvisalo, Matti

AU - Kiesl, Benjamin

PY - 2021

Y1 - 2021

KW - 113 Computer and information sciences

U2 - 10.3233/FAIA200992

DO - 10.3233/FAIA200992

M3 - Chapter

SN - 978-1-64368-160-3

T3 - Frontiers in Artificial Intelligence and Applications

SP - 391

EP - 435

BT - Handbook of Satisfiability

A2 - Biere, Armin

A2 - Heule, Marijn

A2 - van Maaren, Hans

A2 - Walsh, Toby

PB - IOS PRESS

ER -

Preprocessing in SAT Solving

Julkaisusarja

Tieteenalat

Pääsy asiakirjaan

Projektit

Declarative Boolean Optimization: Pushing the Envelope

Siteeraa tätä