Understanding the power of Max-SAT resolution through up-resilience
scientific article; zbMATH DE number 7382232
scientific article