Lingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver Lingeling.

Armin Biere

Browse the full SAT paper archive.