"Polynomial Time SAT Decision, Hypergraph Transversals and the Hermitian Rank."

Nicola Galesi, Oliver Kullmann (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics