English español
Search
 

Repositorio de la Universidad de Oviedo. > Producción Bibliográfica de UniOvi: RECOPILA > Ponencias, Discursos y Conferencias >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10651/53830

Title: Computing Shortest Resolution Proofs
Author(s): Mencía Cascallana, Carlos
Marques Silva, J.
Issue date: 2019
Publisher version: http://dx.doi.org/10.1007/978-3-030-30244-3_45
Series/Report no.: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Format extent: p. 539-551
Description: EPIA Conference on Artificial Intelligence (19th. 2019. Vila Real, Portugal)
URI: http://hdl.handle.net/10651/53830
ISBN: 9783030302436
ISSN: 0302-9743
Sponsored: This research is supported by the Spanish Government under project TIN2016-79190-R and by the Principality of Asturias under grant IDI/2018/000176. This work is also supported by FCT grants ABSOLV (PTDC/CCI-COM/28986/2017) and FaultLocker (PTDC/CCI-COM/29300/2017).
Project id.: TIN2016-79190-R
IDI/2018/000176
Appears in Collections:Ponencias, Discursos y Conferencias
Informática
Investigaciones y Documentos OpenAIRE

Files in This Item:

File SizeFormat
Computing Shortest.pdf297,18 kBAdobe PDFView/Open


Exportar a Mendeley


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Base de Datos de Autoridades Biblioteca Universitaria Consultas / Sugerencias