Machine learning-based restart policy for CDCL SAT solvers
scientific article; zbMATH DE number 6916301