Complexity Results for Independence and Definability in Propositional Logic.

Jrme Lang, Pierre Marquis

Browse the full KR paper archive.