no image available Dickens & Co. "Bridging the Gap: Unlocking Efficient Solutions for Complex Boolean Problems" "A Breakthrough Approach to Tackling Sparse Max SAT Instances, One Problem at a Time" Price: 27.00€