Minimal sets on propositional formulae. Problems and reductions
- Marques-Silva, J.
- Janota, M.
- Mencía, C.
Zeitschrift:
Artificial Intelligence
ISSN: 0004-3702
Datum der Publikation: 2017
Ausgabe: 252
Seiten: 22-50
Art: Artikel
