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...
This item appears in the following Collection(s)
Show simple item record