add reference to "Improving Unsatisfiability-based Algorithms for Boolean Optimization"