"When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way."

Cheng-Shen Han, Jie-Hong Roland Jiang (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics