Enumerating Potential Maximal Cliques via SAT and ASP

Show full item record



Permalink

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

Title: Enumerating Potential Maximal Cliques via SAT and ASP
Author: Korhonen, Tuukka; Berg, Jeremias; Järvisalo, Matti
Other contributor: University of Helsinki, Department of Computer Science
University of Helsinki, Constraint Reasoning and Optimization research group / Matti Järvisalo
University of Helsinki, Department of Computer Science
Kraus, Sarit


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
Rights:


Files in this item

Total number of downloads: Loading...

Files Size Format View
paper.pdf 265.9Kb PDF View/Open
0156.pdf 182.8Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record