RUO Home

Repositorio Institucional de la Universidad de Oviedo

View Item 
  •   RUO Home
  • Producción Bibliográfica de UniOvi: RECOPILA
  • Artículos
  • View Item
  •   RUO Home
  • Producción Bibliográfica de UniOvi: RECOPILA
  • Artículos
  • View Item
    • español
    • English
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of RUOCommunities and CollectionsBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_issnAuthor profilesThis CollectionBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_issn

My Account

LoginRegister

Statistics

View Usage Statistics

RECENTLY ADDED

Last submissions
Repository
How to publish
Resources
FAQs

Minimal sets on propositional formulae. Problems and reductions

Author:
Marques-Silva, J.; Janota, M.; Mencía Cascallana, CarlosUniovi authority
Publication date:
2017
Publisher version:
http://dx.doi.org/10.1016/j.artint.2017.07.005
Citación:
Artificial Intelligence, 252, p. 22-50 (2017); doi:10.1016/j.artint.2017.07.005
Descripción física:
p. 22-50
URI:
http://hdl.handle.net/10651/45381
ISSN:
0004-3702
DOI:
10.1016/j.artint.2017.07.005
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.

Collections
  • Artículos [37532]
Files in this item
Métricas
Compartir
Exportar a Mendeley
Estadísticas de uso
Estadísticas de uso
Metadata
Show full item record
Página principal Uniovi

Biblioteca

Contacto

Facebook Universidad de OviedoTwitter Universidad de Oviedo
The content of the Repository, unless otherwise specified, is protected with a Creative Commons license: Attribution-Non Commercial-No Derivatives 4.0 Internacional
Creative Commons Image