Minimal sets on propositional formulae. Problems and reductions
- Marques-Silva, J.
- Janota, M.
- Mencía, C.
Revue:
Artificial Intelligence
ISSN: 0004-3702
Année de publication: 2017
Volumen: 252
Pages: 22-50
Type: Article
