Preprocessing in Incomplete MaxSAT Solving

Marcus Johannes Leivo, Jeremias Berg, Matti Järvisalo

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikationProceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020)
Antal sidor7
FörlagIOS PRESS
Status!!Accepted/In press - 2020
MoE-publikationstypA4 Artikel i en konferenspublikation

Publikationsserier

NamnFrontiers in Artificial Intelligence and Applications
FörlagIOS Press

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här