Search and Strategies in OPL (2000)

by P Van Hentenryck, L Perron, J-F Puget
Venue:ACM Transactions on Computational Logic