A High-Level Derivation of Global Search Algorithms (with Constraint Propagation).

Peter Pepper Douglas R. Smith A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). 247-271 1997 28 Sci. Comput. Program. 2-3 db/journals/scp/scp28.html#PepperS97