Formalization and implementation of modern SAT solvers
scientific article; zbMATH DE number 5600748