Enumerating Potential Maximal Cliques via SAT and ASP

Show simple item record

dc.contributor.author Korhonen, Tuukka
dc.contributor.author Berg, Jeremias
dc.contributor.author Järvisalo, Matti
dc.contributor.editor Kraus, Sarit
dc.date.accessioned 2020-01-13T14:59:01Z
dc.date.available 2020-01-13T14:59:01Z
dc.date.issued 2019
dc.identifier.citation Korhonen , T , Berg , J & Järvisalo , M 2019 , Enumerating Potential Maximal Cliques via SAT and ASP . in S Kraus (ed.) , Proceedings of the twenty-eigth International Joint Conference on Artificial Intelligence (IJCAI 2019) . International Joint Conferences on Artifical Intelligence , pp. 1116-1122 , International Joint Conferences on Artificial Intelligence , Macao , China , 10/08/2019 . https://doi.org/10.24963/ijcai.2019/156
dc.identifier.citation conference
dc.identifier.other PURE: 129106448
dc.identifier.other PURE UUID: b10f7a48-d745-427a-a6f3-84c0ee8d86f2
dc.identifier.other ORCID: /0000-0003-2572-063X/work/68614579
dc.identifier.uri http://hdl.handle.net/10138/309453
dc.format.extent 7
dc.language.iso eng
dc.publisher International Joint Conferences on Artifical Intelligence
dc.relation.ispartof Proceedings of the twenty-eigth International Joint Conference on Artificial Intelligence (IJCAI 2019)
dc.relation.isversionof 978-0-9992411-4-1
dc.rights unspecified
dc.rights.uri info:eu-repo/semantics/openAccess
dc.subject 113 Computer and information sciences
dc.title Enumerating Potential Maximal Cliques via SAT and ASP en
dc.type Conference contribution
dc.contributor.organization Department of Computer Science
dc.contributor.organization Helsinki Institute for Information Technology
dc.contributor.organization Constraint Reasoning and Optimization research group / Matti Järvisalo
dc.description.reviewstatus Peer reviewed
dc.relation.doi https://doi.org/10.24963/ijcai.2019/156
dc.rights.accesslevel openAccess
dc.type.version acceptedVersion
dc.type.version publishedVersion
dc.relation.funder Unknown funder
dc.relation.grantnumber

Files in this item

Total number of downloads: Loading...

Files Size Format View
paper.pdf 265.9Kb PDF View/Open
0156.pdf 182.8Kb PDF View/Open

This item appears in the following Collection(s)

Show simple item record