Enumerating Potential Maximal Cliques via SAT and ASP

Tuukka Korhonen; Jeremias Berg; Matti Järvisalo

doi:10.24963/ijcai.2019/156

Enumerating Potential Maximal Cliques via SAT and ASP

Tuukka Korhonen, Jeremias Berg, Matti Järvisalo

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Originalspråk	engelska
Titel på värdpublikation	Proceedings of the twenty-eigth International Joint Conference on Artificial Intelligence (IJCAI 2019)
Redaktörer	Sarit Kraus
Antal sidor	7
Förlag	International Joint Conferences on Artifical Intelligence
Utgivningsdatum	2019
Sidor	1116-1122
ISBN (elektroniskt)	978-0-9992411-4-1
DOI	https://doi.org/10.24963/ijcai.2019/156
Status	Publicerad - 2019
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Joint Conferences on Artificial Intelligence: IJCAI-19 - Macao, Kina Varaktighet: 10 aug. 2019 → 16 aug. 2019 Konferensnummer: 28 https://ijcai19.org/

Vetenskapsgrenar

113 Data- och informationsvetenskap

Åtkomst av dokument

10.24963/ijcai.2019/156

paperAccepterat manuskript från författare, 266 KB
0156Slutlig publicerad version, 183 KBLicens: !!Unspecified

Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
Järvisalo, M. (Projektledare)
Unknown funder
01/09/2014 → 31/08/2019
Projekt: Forskningsprojekt

Citera det här

@inproceedings{b10f7a48d745427aa6f384c0ee8d86f2,

title = "Enumerating Potential Maximal Cliques via SAT and ASP",

keywords = "113 Computer and information sciences",

author = "Tuukka Korhonen and Jeremias Berg and Matti J{\"a}rvisalo",

year = "2019",

doi = "10.24963/ijcai.2019/156",

language = "English",

pages = "1116--1122",

editor = "Sarit Kraus",

booktitle = "Proceedings of the twenty-eigth International Joint Conference on Artificial Intelligence (IJCAI 2019)",

publisher = "International Joint Conferences on Artifical Intelligence",

address = "United States",

note = "International Joint Conferences on Artificial Intelligence : IJCAI-19 ; Conference date: 10-08-2019 Through 16-08-2019",

url = "https://ijcai19.org/",

}

Korhonen, T, Berg, J & Järvisalo, M 2019, Enumerating Potential Maximal Cliques via SAT and ASP. i S Kraus (red.), Proceedings of the twenty-eigth International Joint Conference on Artificial Intelligence (IJCAI 2019). International Joint Conferences on Artifical Intelligence, s. 1116-1122, International Joint Conferences on Artificial Intelligence, Macao, Kina, 10/08/2019. https://doi.org/10.24963/ijcai.2019/156

Enumerating Potential Maximal Cliques via SAT and ASP. / Korhonen, Tuukka; Berg, Jeremias ; Järvisalo, Matti.
Proceedings of the twenty-eigth International Joint Conference on Artificial Intelligence (IJCAI 2019). red. / Sarit Kraus. International Joint Conferences on Artifical Intelligence, 2019. s. 1116-1122.

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

TY - GEN

T1 - Enumerating Potential Maximal Cliques via SAT and ASP

AU - Korhonen, Tuukka

AU - Berg, Jeremias

AU - Järvisalo, Matti

N1 - Conference code: 28

PY - 2019

Y1 - 2019

KW - 113 Computer and information sciences

U2 - 10.24963/ijcai.2019/156

DO - 10.24963/ijcai.2019/156

M3 - Conference contribution

SP - 1116

EP - 1122

BT - Proceedings of the twenty-eigth International Joint Conference on Artificial Intelligence (IJCAI 2019)

A2 - Kraus, Sarit

PB - International Joint Conferences on Artifical Intelligence

T2 - International Joint Conferences on Artificial Intelligence

Y2 - 10 August 2019 through 16 August 2019

ER -

Enumerating Potential Maximal Cliques via SAT and ASP

Vetenskapsgrenar

Åtkomst av dokument

Projekt

Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta

Citera det här