Computing Shortest Resolution Proofs
Autor(es) y otros:
Fecha de publicación:
2019
Versión del editor:
Serie:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Descripción física:
p. 539-551
Descripción:
EPIA Conference on Artificial Intelligence (19th. 2019. Vila Real, Portugal)
ISBN:
9783030302436
ISSN:
Patrocinado por:
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).
Colecciones
- Informática [805]
- Investigaciones y Documentos OpenAIRE [7981]
- Ponencias, Discursos y Conferencias [4062]