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/53193

Title: On Computing the Union of MUSes
Author(s): Mencía Cascallana, Carlos
Kullmann, O.
Ignatiev, A.
Marqués Silva, J.
Issue date: 2019
Publisher version: http://dx.doi.org/10.1007/978-3-030-24258-9_15
Series/Report no.: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Format extent: p. 211-221
Description: International Conference on Theory and Applications of Satisfiability Testing, SAT (22nd. 2019. Lisbon, Portugal)
URI: http://hdl.handle.net/10651/53193
ISBN: 9783030242572
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), FaultLocker (PTDC/CCI-COM/29300/2017), SAFETY (SFRH/BPD/120315/2016), and SAMPLE (CEECIND/04549/2017), and by EPSRC grant EP/S015523/1.
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
On Computing.pdf330,61 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