Enumerating Potential Maximal Cliques via SAT and ASP
Permalink
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
| Title: | Enumerating Potential Maximal Cliques via SAT and ASP |
| Author: | Korhonen, Tuukka; Berg, Jeremias; Järvisalo, Matti |
| Other contributor: | Kraus, Sarit |
| Contributor organization: | Department of Computer Science Helsinki Institute for Information Technology Constraint Reasoning and Optimization research group / Matti Järvisalo |
| Publisher: | International Joint Conferences on Artifical Intelligence |
| Date: | 2019 |
| Language: | eng |
| Number of pages: | 7 |
| Belongs to series: | Proceedings of the twenty-eigth International Joint Conference on Artificial Intelligence (IJCAI 2019) |
| ISBN: | 978-0-9992411-4-1 |
| DOI: | https://doi.org/10.24963/ijcai.2019/156 |
| URI: | http://hdl.handle.net/10138/309453 |
| Subject: | 113 Computer and information sciences |
| Peer reviewed: | Yes |
| Rights: | unspecified |
| Usage restriction: | openAccess |
| Self-archived version: | acceptedVersion |
| Funder: | Unknown funder |
| Grant number: |
Files in this item
Total number of downloads: Loading...
| Files | Size | Format | View |
|---|---|---|---|
| paper.pdf | 265.9Kb |
View/ |
|
| 0156.pdf | 182.8Kb |
View/ |
This item appears in the following Collection(s)
-
Articles from TUHAT CRIS [50270]