Centrality Heuristics for Exact Model Counting

Bernhard Bliem, Matti Järvisalo

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikationIEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI 2019)
FörlagIEEE Computer Society
Utgivningsdatum13 feb 2020
Sidor59-63
ISBN (tryckt)978-1-7281-3799-5
ISBN (elektroniskt)978-1-7281-3798-8
DOI
StatusPublicerad - 13 feb 2020
MoE-publikationstypA4 Artikel i en konferenspublikation
Evenemang31st International Conference on Tools with Artificial Intelligence (ICTAI 2019) - Portland, OR, Förenta Staterna (USA)
Varaktighet: 4 nov 20196 nov 2019
https://ictai2019.org

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här