randomization algorithm gauss-jordan elimination linear algebra satisfiability problem 3sat geometry closest pair
Tout plus