Partial compilation of SAT using selective backbones

Simple item page
dc.contributor.authorBalogh, Andreaen
dc.contributor.authorEscamocher, Guillaumeen
dc.contributor.authorO'Sullivan, Barryen
dc.contributor.funderScience Foundation Irelanden
dc.date.accessioned2023-11-21T14:45:54Z
dc.date.available2023-11-21T14:45:54Z
dc.date.issued2023-09en
dc.description.abstractOur 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.en
dc.description.statusPeer revieweden
dc.description.versionAccepted Versionen
dc.format.mimetypeapplication/pdfen
dc.identifier.citationBalogh, A., Escamocher, G. and O’Sullivan, B. (2023) ‘Partial compilation of SAT using selective backbones’, in K. Gal, A. Nowé, G.J. Nalepa, R. Fairstein, and R. Rădulescu (eds.), ECAI 2023, 26th European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 3, IOS Press, pp. 174-181. https://doi.org/10.3233/FAIA230268en
dc.identifier.doi10.3233/faia230268en
dc.identifier.endpage181en
dc.identifier.isbn9781643684369en
dc.identifier.isbn9781643684376en
dc.identifier.issn0922-6389en
dc.identifier.issn1879-8314en
dc.identifier.startpage174en
dc.identifier.urihttps://hdl.handle.net/10468/15250
dc.identifier.volume372en
dc.language.isoenen
dc.publisherIOS Pressen
dc.relation.ispartofFrontiers in Artificial Intelligence and Applicationsen
dc.relation.ispartofECAI 2023en
dc.relation.projectinfo:eu-repo/grantAgreement/SFI/SFI Research Centres Programme::Phase 2/12/RC/2289-P2s/IE/INSIGHT Phase 2/en
dc.relation.projectinfo:eu-repo/grantAgreement/SFI/SFI Research Centres/12/RC/2289/IE/INSIGHT - Irelands Big Data and Analytics Research Centre/en
dc.relation.projectinfo:eu-repo/grantAgreement/SFI/SFI Research Centres Programme::Phase 1/16/RC/3918/IE/Confirm Centre for Smart Manufacturing/en
dc.relation.urihttps://doi.org/10.3233/FAIA230268en
dc.rights© 2023 The Authors. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commercial License 4.0 (CC BY-NC 4.0).en
dc.rights.urihttps://creativecommons.org/licenses/by-nc/4.0en
dc.subjectBoolean instancesen
dc.subjectSelective backboneen
dc.subjectConfigurationen
dc.subjectArtificial intelligenceen
dc.subjectAIen
dc.titlePartial compilation of SAT using selective backbonesen
dc.typeConference itemen
dc.typeArticle (peer-reviewed)en
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
FAIA-372-FAIA230268.pdf
Size:
977.33 KB
Format:
Adobe Portable Document Format
Description:
Published version
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
2.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Computer Science - Journal Articles
Insight Centre for Data Analytics - Conference Items