On the parameterized complexity of monotone and antimonotone weighted circuit satisfiability
scientific article; zbMATH DE number 6807531
scientific article