Queen Mary and King Frederik of Denmark have been slammed by royal fans following the end of their 'hypocritical' summer tour.

To fill this gap we study a new algorithm for finding solutions to random K -SAT problems, the backtracking survey propagation (BSP) algorithm.