by Marijn Heule, Stefan Szeider
Reference:
A SAT Approach to Clique-WidthMarijn Heule, Stefan SzeiderACM Transactions on Computational Logic, volume 16, number 3, pages 24, 2015.
Bibtex Entry:
@string{acmtcl="ACM Transactions on Computational Logic"}
@article{HeuleSzeider15,
author = {Marijn Heule and
Stefan Szeider},
title = {A {SAT} Approach to Clique-Width},
journal = ACMTCL,
volume = {16},
number = {3},
pages = {24},
year = {2015},
url = {10.1145/2736696">http://doi.acm.org/10.1145/2736696},
doi = {10.1145/2736696},
}