@InProceedings{martins-sat14, author = {Ruben Martins and Vasco Manquinho and In\^es Lynce}, title = {{Open-WBO: a Modular MaxSAT Solver}}, booktitle = {International Conference on Theory and Applications of Satisfiability Testing}, pages = {438–445}, year = 2014, publisher = {LNCS} }