The following publications are possibly variants of this publication:
- New Insights into Encodings from MaxCSP into Partial MaxSATJosep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà. ismvl 2010: 46-52 [doi]
- Clause Branching in MaxSAT and MinSATJosep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler. ccia 2018: 17-26 [doi]
- Inference in MaxSAT and MinSATChu Min Li, Felip Manyà. BIRTHDAY 2022: 350-369 [doi]
- Clausal Forms in MaxSAT and MinSATChu Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal. ijcisys, 15(1):97, 2022. [doi]
- On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnesJosep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes. AMAI, 77(1-2):43-66, 2016. [doi]
- MinSAT versus MaxSAT for Optimization ProblemsJosep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu. cp 2013: 133-142 [doi]
- Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSATJosep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà. mvl, 19(1-3):3-23, 2012. [doi]
- From Non-Clausal to Clausal MinSATChu Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal. ccia 2021: 27-36 [doi]