Enumerating Potential Maximal Cliques via SAT and ASP
Pysyväisosoite
Lähdeviite
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
| Julkaisun nimi: | Enumerating Potential Maximal Cliques via SAT and ASP |
| Tekijä: | Korhonen, Tuukka; Berg, Jeremias; Järvisalo, Matti |
| Muu tekijä: | Kraus, Sarit |
| Tekijän organisaatio: | Department of Computer Science Helsinki Institute for Information Technology Constraint Reasoning and Optimization research group / Matti Järvisalo |
| Julkaisija: | International Joint Conferences on Artifical Intelligence |
| Päiväys: | 2019 |
| Kieli: | eng |
| Sivumäärä: | 7 |
| Kuuluu julkaisusarjaan: | Proceedings of the twenty-eigth International Joint Conference on Artificial Intelligence (IJCAI 2019) |
| ISBN: | 978-0-9992411-4-1 |
| DOI-tunniste: | https://doi.org/10.24963/ijcai.2019/156 |
| URI: | http://hdl.handle.net/10138/309453 |
| Avainsanat: | 113 Computer and information sciences |
| Vertaisarvioitu: | Kyllä |
| Tekijänoikeustiedot: | unspecified |
| Pääsyrajoitteet: | openAccess |
| Rinnakkaistallennettu versio: | acceptedVersion |
| Rahoittaja: | Unknown funder |
| Rahoitusnumero: |
Tiedostot
Latausmäärä yhteensä: Ladataan...
| Tiedosto(t) | Koko | Formaatti | Näytä |
|---|---|---|---|
| paper.pdf | 265.9KB | Avaa tiedosto | |
| 0156.pdf | 182.8KB | Avaa tiedosto |
Viite kuuluu kokoelmiin:
-
TUHAT-artikkelit [50573]