Braess's Paradox

SMT Solvers: Theory and Practice (2008)