Optimal satisfiability for propositional calculi and constraint satisfaction problems.
scientific article; zbMATH DE number 2056449
scientific article