Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses.

Adrian Balint, Armin Biere, Andreas Frhlich, Uwe Schning

Browse the full SAT paper archive.