| dc.contributor.author | Marques-Silva, J. | |
| dc.contributor.author | Janota, M. | |
| dc.contributor.author | Mencía Cascallana, Carlos | |
| dc.date.accessioned | 2018-02-06T10:11:05Z | |
| dc.date.available | 2018-02-06T10:11:05Z | |
| dc.date.issued | 2017 | |
| dc.identifier.citation | Artificial Intelligence, 252, p. 22-50 (2017); doi:10.1016/j.artint.2017.07.005 | |
| dc.identifier.issn | 0004-3702 | |
| dc.identifier.uri | http://hdl.handle.net/10651/45381 | |
| dc.description.sponsorship | We 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.extent | p. 22-50 | |
| dc.language.iso | eng | |
| dc.relation.ispartof | Artificial Intelligence | |
| dc.rights | ©, | |
| dc.source | Scopus | |
| dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85028061913&doi=10.1016%2fj.artint.2017.07.005&partnerID=40&md5=b1e357306e2f34029dbad75be68f8ddf | |
| dc.title | Minimal sets on propositional formulae. Problems and reductions | |
| dc.type | journal article | |
| dc.identifier.doi | 10.1016/j.artint.2017.07.005 | |
| dc.relation.projectID | TIN2016-79190-R | |
| dc.relation.projectID | CMU-PT/ELE/0009/2009 | |
| dc.relation.publisherversion | http://dx.doi.org/10.1016/j.artint.2017.07.005 | |
