A SAT spproach to clique-width of a digraph and an application on model counting problems / von Aykut Parlak. Wien, 2016
Inhalt