Reasoning from last conflict(s) in constraint programming
scientific article; zbMATH DE number 5650760
scientific article