Enumerating Potential Maximal Cliques via SAT and ASP

Näytä kaikki kuvailutiedot



Pysyväisosoite

http://hdl.handle.net/10138/309453

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 PDF Avaa tiedosto
0156.pdf 182.8KB PDF Avaa tiedosto

Viite kuuluu kokoelmiin:

Näytä kaikki kuvailutiedot