Preprocessing in SAT Solving

Armin Biere, Matti Järvisalo, Benjamin Kiesl

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Originalspråkengelska
Titel på värdpublikationHandbook of Satisfiability
RedaktörerArmin Biere, Marijn Heule, Hans van Maaren, Toby Walsh
FörlagIOS PRESS
Utgivningsdatum2021
Utgåva2
Sidor391 - 435
ISBN (tryckt)978-1-64368-160-3
ISBN (elektroniskt)978-1-64368-161-0
DOI
StatusPublicerad - 2021
MoE-publikationstypA3 Del av bok eller annan forskningsbok

Publikationsserier

NamnFrontiers in Artificial Intelligence and Applications
FörlagIOS Press
Volym336

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här