Return to Article Details
Polynomial-Time 0-1 Linear Programming Approach to CNF-SAT Using Totally Unimodular Matrices
Download PDF