Survey Propagation methods: Efficient optimization and state selection in random Satisfiability problems | DealShopping Deutschland