Using SAT solvers in large scale distributed algebraic attacks against low entropy keys
scientific article; zbMATH DE number 6545462