A Linear Algebra Formulation for Boolean Satisfiability Testing

Chengling Fang, Jiang Liu

In the article \The State of SAT", the authors asked whether a procedure dramatically different from DPLL can be found for handling unsatisfiable instances. This study proposes a n…