A verified SAT solver framework with learn, forget, restart, and incrementality
scientific article; zbMATH DE number 6921418
scientific article