Applications of MaxSAT in Data Analysis

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Originalspråkengelska
Titel på värdpublikationProceedings of Pragmatics of SAT 2015 and 2018
RedaktörerDaniel Le Berre, Matti Järvisalo
Antal sidor15
UtgivningsortManchester, UK
FörlagEasyChair Publications
Utgivningsdatum2019
Sidor50-64
DOI
StatusPublicerad - 2019
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangInternational Conferences on Theory and Applications of Satisfiability Testing - Austin, Förenta Staterna (USA)
Varaktighet: 24 sep. 201527 sep. 2015
Konferensnummer: 18
https://www.cs.utexas.edu/~marijn/sat15/

Publikationsserier

NamnEPiC Series in Computing
FörlagEasyChair
Volym59
ISSN (elektroniskt)2398-7340

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här