A Linear Algebra Formulation for Boolean Satisfiability Testing
Computational Complexity
2018-08-20 v2
Abstract
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 new linear programming approach to address this issue efficiently. Our experiments showed that the new method works for many unsatisfiable instances. However, we must concede that this method should be incomplete; otherwise, it will imply P=co-NP.
Cite
@article{arxiv.1701.02401,
title = {A Linear Algebra Formulation for Boolean Satisfiability Testing},
author = {Chengling Fang and Jiang Liu},
journal= {arXiv preprint arXiv:1701.02401},
year = {2018}
}
Comments
Two algorithms for SAT