MaxPre: An Extended MaxSAT Preprocessor

Tuukka Matias Aleksanteri Korhonen, Otto Jeremias Berg, Paul Henrik Alexander Saikko, Matti Juhani Järvisalo

Tutkimustuotos: Ei-tekstimuotoinen › Ohjelmisto › Tieteellinen

Alkuperäiskielienglanti
TilaJulkaistu - 2017
OKM-julkaisutyyppiI2 Tieto- ja viestintätekniset sovellukset

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Muut tiedostot ja linkit

  • 1 Päättynyt

Siteeraa tätä