Watch This Space: How Two Simple Heuristics Outsmarted a Whole SAT Solver
Opening — Why this matters now Pseudo-Boolean solvers rarely make headlines, but they silently power scheduling systems, verification tools, and optimization engines across industry. When they get faster, entire decision pipelines accelerate. The paper at hand—Mussig & Johannsen (2025)—lands an interesting punchline: a tiny change in a single heuristic can beat years’ worth of incremental solver tuning. In an era where computation cost is back in vogue, these micro-optimizations suddenly look like macro-leverage. ...