SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation).

Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat

Browse the full SAT paper archive.