Non-Model-Based Algorithm Portfolios for SAT.

Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann

Browse the full SAT paper archive.