Elsevier
Discrete Applied Mathematics

Warners, J., & van Maaren, H. (2000). Solving satisfiability problems using elliptic approximations - effective branching rules. Discrete Applied Mathematics, 107(1-3), 241–259.