Debugging unsatisfiable constraint models
scientific article; zbMATH DE number 6756577
scientific article