On the community structure of bounded model checking SAT problems
scientific article; zbMATH DE number 6807219