Abstract Cores in Implicit Hitting Set MaxSat Solving

Jeremias Berg, Fahiem Bacchus, ALex Poole

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikationProceedings of the 2020 International Conference on Theory and Applications of Satisfiability Testing (SAT 2020)
Status!!Accepted/In press - 2020
MoE-publikationstypA4 Artikel i en konferenspublikation

Publikationsserier

NamnLecture Notes in Computer Science
FörlagSpringer

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här