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.
@article{MaarenW03,
title = {Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights},
author = {Hans van Maaren and Joost P. Warners},
year = {2003},
researchr = {https://researchr.org/publication/MaarenW03},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {37},
number = {3},
pages = {273-283},
}