{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T03:54:19Z","timestamp":1784260459853,"version":"3.55.0"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643684369","type":"print"},{"value":"9781643684376","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T00:00:00Z","timestamp":1695859200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,28]]},"abstract":"<jats:p>Our goal in this paper is to significantly decrease the compiled size of a given Boolean instance with a large representation, while preserving as much information about the instance as possible. We achieve this by assigning values to a subset of the variables in such a way that the resulting instance has a much smaller representation than the original one, and its number of solutions is almost as high as the starting one. We call the set of variable instantiations that we make the selective backbone of the solutions that we keep. Large selective backbones allow for smaller representations, but also eliminate more solutions. We compare different methods of computing the selective backbone that offer the best compromise.<\/jats:p>","DOI":"10.3233\/faia230268","type":"book-chapter","created":{"date-parts":[[2023,9,29]],"date-time":"2023-09-29T09:00:13Z","timestamp":1695978013000},"source":"Crossref","is-referenced-by-count":1,"title":["Partial Compilation of SAT Using Selective Backbones"],"prefix":"10.3233","author":[{"given":"Andrea","family":"Balogh","sequence":"first","affiliation":[{"name":"Insight SFI Research Centre for Data Analytics, School of Computer Science & IT, University College Cork, Ireland"},{"name":"Confirm Centre for Smart Manufacturing, School of Computer Science & IT, University College Cork, Ireland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guillaume","family":"Escamocher","sequence":"additional","affiliation":[{"name":"Insight SFI Research Centre for Data Analytics, School of Computer Science & IT, University College Cork, Ireland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Barry","family":"O\u2019Sullivan","sequence":"additional","affiliation":[{"name":"Insight SFI Research Centre for Data Analytics, School of Computer Science & IT, University College Cork, Ireland"},{"name":"Confirm Centre for Smart Manufacturing, School of Computer Science & IT, University College Cork, Ireland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","ECAI 2023"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA230268","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,29]],"date-time":"2023-09-29T09:00:14Z","timestamp":1695978014000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA230268"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,28]]},"ISBN":["9781643684369","9781643684376"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia230268","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,28]]}}}