A proof builder for Max-SAT
scientific article; zbMATH DE number 7495593
scientific article