Improving MCS enumeration via caching

dc.contributor.author	Previti, A.
dc.contributor.author	Mencía Cascallana, Carlos
dc.contributor.author	Järvisalo, M.
dc.contributor.author	Marques-Silva, J.
dc.date.accessioned	2018-02-06T10:11:14Z
dc.date.available	2018-02-06T10:11:14Z
dc.date.issued	2017
dc.identifier.isbn	978-3-319-66262-6
dc.identifier.issn	0302-9743
dc.identifier.uri	http://hdl.handle.net/10651/45451
dc.description.sponsorship	251170, Academy of Finland; 276412, Academy of Finland; 284591, Academy of Finland; TIN2016-79190, Helsingin Yliopisto; UID/CEC/00408/2013, FCT, Fundação para a Ciência e a Tecnologia
dc.format.extent	p. 184-194
dc.language.iso	eng
dc.relation.ispartof	Theory and Applications of Satisfiability Testing – SAT 2017
dc.relation.ispartofseries	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10491
dc.rights	©,
dc.source	Scopus
dc.source.uri	https://www.scopus.com/inward/record.uri?eid=2-s2.0-85028703140&doi=10.1007%2f978-3-319-66263-3_12&partnerID=40&md5=8c9b845baed9973d6faead5672bb105d
dc.title	Improving MCS enumeration via caching
dc.type	conference output	spa
dc.identifier.doi	10.1007/978-3-319-66263-3_12
dc.relation.publisherversion	http://dx.doi.org/10.1007/978-3-319-66263-3_12

Ficheros en el ítem

Ficheros	Tamaño	Formato	Ver
No hay ficheros asociados a este ítem.