On Computing the Union of MUSes

Mencía Cascallana, Carlos; Kullmann, O.; Ignatiev, A.; Marqués Silva, J.

doi:10.1007/978-3-030-24258-9_15

Repository

How to publish

Resources

FAQs

Show simple item record

On Computing the Union of MUSes

dc.contributor.author	Mencía Cascallana, Carlos
dc.contributor.author	Kullmann, O.
dc.contributor.author	Ignatiev, A.
dc.contributor.author	Marqués Silva, J.
dc.date.accessioned	2019-11-14T10:22:05Z
dc.date.available	2019-11-14T10:22:05Z
dc.date.issued	2019
dc.identifier.isbn	9783030242572
dc.identifier.issn	0302-9743
dc.identifier.uri	http://hdl.handle.net/10651/53193
dc.description	International Conference on Theory and Applications of Satisfiability Testing, SAT (22nd. 2019. Lisbon, Portugal)
dc.description.sponsorship	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.
dc.format.extent	p. 211-221
dc.language.iso	eng
dc.relation.ispartof	Theory and Applications of Satisfiability Testing – SAT 2019. 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
dc.relation.ispartofseries	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.rights	© Springer Nature Switzerland AG 2019
dc.rights	CC Reconocimiento - No comercial - Sin obras derivadas 4.0 Internacional
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/
dc.source	Scopus
dc.source.uri	https://www2.scopus.com/inward/record.uri?eid=2-s2.0-85069232717&doi=10.1007%2f978-3-030-24258-9_15&partnerID=40&md5=4d19f7d91cf2d1962d97d837c3654d7b
dc.title	On Computing the Union of MUSes
dc.type	conference output	spa
dc.identifier.doi	10.1007/978-3-030-24258-9_15
dc.relation.projectID	TIN2016-79190-R
dc.relation.projectID	IDI/2018/000176
dc.relation.publisherversion	http://dx.doi.org/10.1007/978-3-030-24258-9_15
dc.rights.accessRights	open access
dc.type.hasVersion	AM

Files in this item

Name:: On Computing.pdf
Size:: 330.6Kb
Format:: PDF
Description:: Postprint

This item appears in the following Collection(s)

Informática [761]
Investigaciones y Documentos OpenAIRE [7582]
Publicaciones resultado de proyectos financiados con fondos públicos
Ponencias, Discursos y Conferencias [3886]

Show simple item record

This item is protected with a Creative Commons License