Cliquewidth and Knowledge Compilation.

Igor Razgon, Justyna Petke

Browse the full SAT paper archive.