Vasco M. Manquinho Ruben Martins Inês Lynce Improving Unsatisfiability-Based Algorithms for Boolean Optimization. 181-193 2010 SAT https://doi.org/10.1007/978-3-642-14186-7_16 conf/sat/2010 db/conf/sat/sat2010.html#ManquinhoML10