St. Szeider:
"SAT Approach to Clique-Width";
Talk: Workshop on Graph Classes, Optimization, and Width Parameters (GROW), Santorini Island, Greece; 2013-10-09 - 2013-10-11.
http://publik.tuwien.ac.at/files/PubDat_223528.pdf
Project Head Stefan Szeider:
The Parameterized Complexity of Reasoning Problems