A refined branching algorithm for the maximum satisfiability problem
scientific article; zbMATH DE number 7495631
scientific article