Adaptive Parallelization for Constraint Satisfaction Search.

Xi Yun, Susan L. Epstein

Browse the full SoCS paper archive.