An improved deterministic \#SAT algorithm for small De Morgan formulas
scientific article; zbMATH DE number 6646533