Solving satisfiability problems using elliptic approximations -- effective branching rules
scientific article; zbMATH DE number 1565928