Joost P. Warners, Hans van Maaren. Solving satisfiability problems using elliptic approximations - effective branching rules. Discrete Applied Mathematics, 107(1-3):241-259, 2000.
@article{WarnersM00,
title = {Solving satisfiability problems using elliptic approximations - effective branching rules},
author = {Joost P. Warners and Hans van Maaren},
year = {2000},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/WarnersM00},
cites = {0},
citedby = {0},
journal = {Discrete Applied Mathematics},
volume = {107},
number = {1-3},
pages = {241-259},
}