Graph-based A* beats basic branch-and-bound on project scheduling
With extra pruning, A* proves optimality on all 480 RCPSP instances, versus 445 for best-first branch-and-bound.
Stories per day · 30 days
2 stories, newest first · one card per story
Stories tagged #branch-and-bound
Efficient Branch-and-Bound Testing and Verification of zkVMs
ZEBRA verifies zkVM constraint systems via branch-and-bound cardinality counting, finding 11 zero-day bugs across five real-world zkVMs and running 51.5x faster than SMT verification.