@inproceedings{BofillGGV16, author = {Miquel Bofill and Marc Garcia and Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and Mateu Villaret}, title = {A Study on Implied Constraints in a {MaxSAT} Approach to {B2B} Problems}, booktitle = {Proceedings of the 7th Pragmatics of {SAT} Workshop (POS'16)}, year = {2016}, }