Interleaved and Discrepancy Based Search (1998)

by P Meseguer, T Walsh
Venue:In Proceedings of ECAI-1998