Preprocessing of intractable problems
scientific article; zbMATH DE number 1853273
scientific article