Show simple item record

Minimal sets on propositional formulae. Problems and reductions

dc.contributor.authorMarques-Silva, J.
dc.contributor.authorJanota, M.
dc.contributor.authorMencía Cascallana, Carlos 
dc.date.accessioned2018-02-06T10:11:05Z
dc.date.available2018-02-06T10:11:05Z
dc.date.issued2017
dc.identifier.citationArtificial Intelligence, 252, p. 22-50 (2017); doi:10.1016/j.artint.2017.07.005
dc.identifier.issn0004-3702
dc.identifier.urihttp://hdl.handle.net/10651/45381
dc.description.sponsorshipWe are grateful to the anonymous reviewers for their insightful comments and suggestions. This work was influenced by discussions with colleagues at CASL/UCD and at IST/INESC-ID. This work was partially supported by SFI PI grant BEACON (09/IN.1/12618), and by FCT grants ATTEST (CMU-PT/ELE/0009/2009), POLARIS (PTDC/EIA-CCO/123051/2010). Part of this work was done while the first author was affiliated with CASL/UCD and with IST/INESC-ID, and while the third author was a postdoctoral researcher at CASL/UCD. Carlos Mencia is supported by grant TIN2016-79190-R.
dc.format.extentp. 22-50
dc.language.isoeng
dc.relation.ispartofArtificial Intelligence
dc.rights©,
dc.sourceScopus
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85028061913&doi=10.1016%2fj.artint.2017.07.005&partnerID=40&md5=b1e357306e2f34029dbad75be68f8ddf
dc.titleMinimal sets on propositional formulae. Problems and reductions
dc.typejournal article
dc.identifier.doi10.1016/j.artint.2017.07.005
dc.relation.projectIDTIN2016-79190-R
dc.relation.projectIDCMU-PT/ELE/0009/2009
dc.relation.publisherversionhttp://dx.doi.org/10.1016/j.artint.2017.07.005


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record