Data reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiability
scientific article; zbMATH DE number 5603694
scientific article