Marijn Heule, Stefan Szeider. A SAT Approach to Clique-Width. ACM Trans. Comput. Log., 16(3):24, 2015. [doi]
@article{HeuleS15-0, title = {A SAT Approach to Clique-Width}, author = {Marijn Heule and Stefan Szeider}, year = {2015}, doi = {10.1145/2736696}, url = {http://doi.acm.org/10.1145/2736696}, researchr = {https://researchr.org/publication/HeuleS15-0}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {16}, number = {3}, pages = {24}, }