Search and strategies in OPL (0)

by Pascal Van Hentenryck, Laurent Perron, Jean-Francois Puget
Venue:ACM Transactions on Compututational Logic