Vasco M. Manquinho João P. Marques Silva Jordi Planes Algorithms for Weighted Boolean Optimization. 495-508 2009 SAT https://doi.org/10.1007/978-3-642-02777-2_45 conf/sat/2009 db/conf/sat/sat2009.html#ManquinhoSP09