Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances.

Wenhui Zhang, Zhuo Huang, Jian Zhang

Browse the full PRICAI paper archive.