Applications of MaxSAT in Data Analysis

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
OtsikkoProceedings of Pragmatics of SAT 2015 and 2018
ToimittajatDaniel Le Berre, Matti Järvisalo
Sivumäärä15
JulkaisupaikkaManchester, UK
KustantajaEasyChair Publications
Julkaisupäivä2019
Sivut50-64
DOI - pysyväislinkit
TilaJulkaistu - 2019
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conferences on Theory and Applications of Satisfiability Testing - Austin, Yhdysvallat (USA)
Kesto: 24 syyskuuta 201527 syyskuuta 2015
Konferenssinumero: 18
https://www.cs.utexas.edu/~marijn/sat15/

Julkaisusarja

NimiEPiC Series in Computing
KustantajaEasyChair
Vuosikerta59
ISSN (elektroninen)2398-7340

Lisätietoja


Volume:
Proceeding volume:

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Siteeraa tätä