Computing Shortest Resolution Proofs
Publication date:
2019Publisher version:
http://dx.doi.org/10.1007/978-3-030-30244-3_45Serie:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Descripción física:
p. 539-551Description:
EPIA Conference on Artificial Intelligence (19th. 2019. Vila Real, Portugal)
ISBN:
9783030302436ISSN:
0302-9743Patrocinado 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).
Id. Proyecto
TIN2016-79190-R
IDI/2018/000176
Collections
- Informática [409]
- Investigaciones y Documentos OpenAIRE [3699]
- Ponencias, Discursos y Conferencias [3075]