When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way.

Cheng-Shen Han, Jie-Hong Roland Jiang

Browse the full CAV paper archive.