Miquel Bofill, Dídac Busquets, Víctor Muñoz, Mateu Villaret. Reformulation based MaxSAT robustness. Constraints, 18(2):202-235, 2013. [doi]
@article{BofillBMV13, title = {Reformulation based MaxSAT robustness}, author = {Miquel Bofill and Dídac Busquets and Víctor Muñoz and Mateu Villaret}, year = {2013}, doi = {10.1007/s10601-012-9130-2}, url = {http://dx.doi.org/10.1007/s10601-012-9130-2}, researchr = {https://researchr.org/publication/BofillBMV13}, cites = {0}, citedby = {0}, journal = {Constraints}, volume = {18}, number = {2}, pages = {202-235}, }