Enumerating Potential Maximal Cliques via SAT and ASP
Permalänk
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
| Titel: | Enumerating Potential Maximal Cliques via SAT and ASP |
| Författare: | Korhonen, Tuukka; Berg, Jeremias; Järvisalo, Matti |
| Medarbetare: | Kraus, Sarit |
| Upphovmannens organisation: | Department of Computer Science Helsinki Institute for Information Technology Constraint Reasoning and Optimization research group / Matti Järvisalo |
| Utgivare: | International Joint Conferences on Artifical Intelligence |
| Datum: | 2019 |
| Språk: | eng |
| Sidantal: | 7 |
| Tillhör serie: | 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 |
| Permanenta länken (URI): | http://hdl.handle.net/10138/309453 |
| Subject: | 113 Computer and information sciences |
| Referentgranskad: | Ja |
| Licens: | unspecified |
| Användningsbegränsning: | openAccess |
| Parallelpublicerad version: | acceptedVersion |
| Finansierad av: | Unknown funder |
| Finansierings ID: |
Filer under denna titel
Totalt antal nerladdningar: Laddar...
| Filer | Storlek | Format | Granska |
|---|---|---|---|
| paper.pdf | 265.9Kb | Granska/Öppna | |
| 0156.pdf | 182.8Kb | Granska/Öppna |
Detta dokument registreras i samling:
-
TUHAT-artikkelit [50505]