Minimal sets on propositional formulae. Problems and reductions
Autor(es) y otros:
Fecha de publicación:
2017
Versión del editor:
Citación:
Artificial Intelligence, 252, p. 22-50 (2017); doi:10.1016/j.artint.2017.07.005
Descripción física:
p. 22-50
ISSN:
Patrocinado por:
We are grateful to the anonymous reviewers for their insightful comments and suggestions. This work was influenced by discussions with colleagues at CASL/UCD and at IST/INESC-ID. This work was partially supported by SFI PI grant BEACON (09/IN.1/12618), and by FCT grants ATTEST (CMU-PT/ELE/0009/2009), POLARIS (PTDC/EIA-CCO/123051/2010). Part of this work was done while the first author was affiliated with CASL/UCD and with IST/INESC-ID, and while the third author was a postdoctoral researcher at CASL/UCD. Carlos Mencia is supported by grant TIN2016-79190-R.
Colecciones
- Artículos [36150]
Ficheros en el ítem
Métricas
Compartir
