Minimal sets on propositional formulae. Problems and reductions
- Marques-Silva, J.
- Janota, M.
- Mencía, C.
Aldizkaria:
Artificial Intelligence
ISSN: 0004-3702
Argitalpen urtea: 2017
Alea: 252
Orrialdeak: 22-50
Mota: Artikulua