The following publications are possibly variants of this publication:
- A Clause Tableau Calculus for MinSATChu Min Li, Felip Manyà, Joan Ramon Soler. ccia 2016: 88-97 [doi]
- A Tableau Calculus for MaxSAT Based on ResolutionShoulin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà. ccia 2022: 35-44 [doi]
- A Complete Tableau Calculus for the Regular MaxSAT ProblemJordi Coll, Chu Min Li, Felip Manyà, Elifnaz Yangin. ccia 2023: 359-368 [doi]
- A Tableau Calculus for Non-clausal Maximum SatisfiabilityChu Min Li, Felip Manyà, Joan Ramon Soler. tableaux 2019: 58-73 [doi]
- Clausal Form Transformation in MaxSATChu Min Li, Felip Manyà, Joan Ramon Soler. ismvl 2019: 132-137 [doi]
- Clause Branching in MaxSAT and MinSATJosep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler. ccia 2018: 17-26 [doi]
- Clausal Forms in MaxSAT and MinSATChu Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal. ijcisys, 15(1):97, 2022. [doi]