Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights

Hans van Maaren, Joost P. Warners. Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights. Annals of Mathematics and Artificial Intelligence, 37(3):273-283, 2003.

Abstract

Abstract is missing.