Solving Huge Instances with Intel(R) SAT Solver.

Alexander Nadel

Browse the full SAT paper archive.