Abstract Cores in Implicit Hitting Set MaxSat Solving

Jeremias Berg, Fahiem Bacchus, ALex Poole

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
OtsikkoProceedings of the 2020 International Conference on Theory and Applications of Satisfiability Testing (SAT 2020)
TilaHyväksytty/In press - 2020
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

Julkaisusarja

NimiLecture Notes in Computer Science
KustantajaSpringer

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Siteeraa tätä