Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices.

Oliver Kullmann

Browse the full SAT paper archive.