Dynamic Polarity Adjustment in a Parallel SAT Solver.

Long Guo, Jean-Marie Lagniez

Browse the full ICTAI paper archive.