no image available Dickens & Co. "Cracking the Code: Unlocking the Power of Extension Rule for QBF Solving" "Unveiling the Secret to Taming the Complexity of Quantified Boolean Formulas" Price: 32.00€