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

Nicola Galesi, Oliver Kullmann

Browse the full SAT paper archive.