Optimization Techniques in Propositional Satisfiability -- QuBE: A System for Deciding