A SAT Approach to Clique-Width

Heule, Marijn; Szeider, Stefan

doi:10.1145/2736696

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},
}