no image available Dickens & Co. "Cracking the Code: Unveiling the Secrets of Unsatisfiable Cores in CSPs" "Unraveling the Mystery of Minimally Unsatisfiable Constraints in Computational Systems" Price: 29.00€