A SAT Approach to Clique-Width (bibtex)
by ,
Reference:
A SAT Approach to Clique-WidthMarijn Heule, Stefan SzeiderACM Trans. Comput. Log., volume 16, number 3, pages 24, 2015.
Bibtex Entry:
@string{acmtcl="ACM Trans. Comput. Log."}
@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},
}
Powered by bibtexbrowser