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