MaxPre: An Extended MaxSAT Preprocessor

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

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

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Siteeraa tätä