Reduced Cost Fixing for Maximum Satisfiability

Fahiem Bacchus, Antti Juhani Hyttinen, Matti Juhani Järvisalo, Paul Henrik Alexander Saikko

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Originalspråkengelska
Titel på värdpublikationProceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018)
RedaktörerJerome Lang
Antal sidor5
UtgivningsortPalo Alto, California
FörlagAAAI Press
Utgivningsdatum2018
Sidor5209-5213
ISBN (elektroniskt)978-0-9992411-2-7
DOI
StatusPublicerad - 2018
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangInternational Joint Conference on Artificial Intelligence - Stockholm, Sverige
Varaktighet: 13 juli 201819 juli 2018
Konferensnummer: 27

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här