Towards Generic Scalable Parallel Combinatorial Search.

Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule

Browse the full ISSAC paper archive.