SAT solver management strategies in IC3: an experimental approach
scientific article; zbMATH DE number 6715262