SAT-Based Approaches to Treewidth Computation: An Evaluation

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

Originalspråk	engelska
Titel på värdpublikation	Proceedings 2014 IEEE 26th International Conference on Tools with Artificial Intelligence : ICTAI 2014
Antal sidor	8
Förlag	IEEE Computer Society
Utgivningsdatum	2014
Sidor	328-335
DOI	https://doi.org/10.1109/ICTAI.2014.57
Status	Publicerad - 2014
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	IEEE international conference on tools with artificial intelligence - Limassol, Cypern Varaktighet: 10 nov. 2014 → 12 nov. 2014 Konferensnummer: 26th (ICTAI 2014)

Vetenskapsgrenar

@inproceedings{60612d100a2e4c3ab3f2561f870a66fd,

title = "SAT-Based Approaches to Treewidth Computation: An Evaluation",

keywords = "113 Computer and information sciences",

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

year = "2014",

doi = "10.1109/ICTAI.2014.57",

language = "English",

pages = "328--335 ",

booktitle = "Proceedings 2014 IEEE 26th International Conference on Tools with Artificial Intelligence",

publisher = "IEEE Computer Society",

address = "United States",

note = "IEEE international conference on tools with artificial intelligence ; Conference date: 10-11-2014 Through 12-11-2014",

}

TY - GEN

T1 - SAT-Based Approaches to Treewidth Computation

T2 - IEEE international conference on tools with artificial intelligence

AU - Berg, Jeremias

AU - Järvisalo, Matti

N1 - Conference code: 26th (ICTAI 2014)

PY - 2014

Y1 - 2014

KW - 113 Computer and information sciences

UR - https://www.scopus.com/pages/publications/84946564999

U2 - 10.1109/ICTAI.2014.57

DO - 10.1109/ICTAI.2014.57

M3 - Conference contribution

SP - 328

EP - 335

BT - Proceedings 2014 IEEE 26th International Conference on Tools with Artificial Intelligence

PB - IEEE Computer Society

Y2 - 10 November 2014 through 12 November 2014

ER -