RUO Home

Repositorio Institucional de la Universidad de Oviedo

View Item 
  •   RUO Home
  • Producción Bibliográfica de UniOvi: RECOPILA
  • Ponencias, Discursos y Conferencias
  • View Item
  •   RUO Home
  • Producción Bibliográfica de UniOvi: RECOPILA
  • Ponencias, Discursos y Conferencias
  • 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

Premise Set Caching for Enumerating Minimal Correction Subsets

Author:
Previti, Alessandro; Mencía Cascallana, CarlosUniovi authority; Jarvisalo, Matti; Marques-Silva, Joao
Publication date:
2018
Descripción física:
p. 6633-6640
Description:

AAAI Conference on Artificial Intelligence (AAAI-18) (32nd. 2018. New Orleans, Louisiana, USA)

URI:
https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17328/16243
http://hdl.handle.net/10651/53850
Patrocinado por:

A.P. and M.J. were supported by Academy of Finland (grants 251170 COIN, 276412, 284591, and 312662) and the Research Funds of the University of Helsinki. C.M. was supported by grant TIN2016-79190-R. J.M.S. was supported by FCT funding of LASIGE Research Unit, ref. UID/CEC/00408/2013.

Collections
  • Ponencias, Discursos y Conferencias [4233]
Files in this item
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