A SAT Approach to Clique-Width

Heule, Marijn; Szeider, Stefan

doi:10.1007/978-3-642-39071-5_24

by Marijn Heule, Stefan Szeider

Reference:

A SAT Approach to Clique-WidthMarijn Heule, Stefan SzeiderTheory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo, Allen Van Gelder, eds.), volume 7962 of Lecture Notes in Computer Science, pages 318-334, 2013, Springer Verlag.

Bibtex Entry:

@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@inproceedings{HeuleSzeider13,
  author       = {Marijn Heule and Stefan Szeider},
  title	       = {A {SAT} Approach to Clique-Width},
  pages	       = {318-334},
  editor       = {Matti J{\"a}rvisalo and Allen Van Gelder},
  booktitle    = {Theory and Applications of Satisfiability Testing -
                  SAT 2013 - 16th International Conference, Helsinki,
                  Finland, July 8-12, 2013. Proceedings},
  publisher    = Springer,
  series       = LNCS,
  volume       = {7962},
  year	       = {2013},
   doi    = {10.1007/978-3-642-39071-5_24},
}