Linear CNF formulas and satisfiability
scientific article; zbMATH DE number 5572530
scientific article