Hybrid Tree Search in the Andorra Model.

Remco Moolenaar Bart Demoen Hybrid Tree Search in the Andorra Model. 110-123 1994 ICLP db/conf/iclp/iclp94.html#MoolenaarD94