SAT-algorithms: A new paradigm for branching rules (1997)

by Oliver Kullmann
Venue:In preparation