Satisfiability algorithm for syntactic read-\(k\)-times branching programs
scientific article; zbMATH DE number 7357730