Enumerating Potential Maximal Cliques via SAT and ASP

Visa fullständig post



Permalänk

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

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 PDF Granska/Öppna
0156.pdf 182.8Kb PDF Granska/Öppna

Detta dokument registreras i samling:

Visa fullständig post