A Clause Tableau Calculus for MinSAT. - Chu Min Li 001; Felip Manyà; Joan Ramon Soler (CCIA, 2016)

A Clause Tableau Calculus for MaxSAT. - Chu Min Li 001; Felip Manyà; Joan Ramon Soler (IJCAI, 2016)

A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics. - Joan Ramon Soler; Felip Manyà (ISMVL, 2016)

A MaxSAT-Based Approach to the Team Composition Problem in a Classroom. - Felip Manyà; Santiago Negrete; Carme Roig; Joan Ramon Soler (AAMAS Workshops (Visionary Papers), 2017)

Clause Branching in MaxSAT and MinSAT. - Josep Argelich; Chu Min Li 001; Felip Manyà; Joan Ramon Soler (CCIA, 2018)

Clausal Form Transformation in MaxSAT. - Chu Min Li 001; Felip Manyà; Joan Ramon Soler (ISMVL, 2019)

A Tableau Calculus for Non-clausal Maximum Satisfiability. - Chu Min Li 001; Felip Manyà; Joan Ramon Soler (TABLEAUX, 2019)

Solving the Team Composition Problem in a Classroom. - Felip Manyà; Santiago Negrete; Carme Roig; Joan Ramon Soler (Fundam. Informaticae, 2020)

From Non-Clausal to Clausal MinSAT. - Chu-Min Li 001; Felip Manyà; Joan Ramon Soler; Amanda Vidal (CCIA, 2021)

Clause tableaux for maximum and minimum satisfiability. - Josep Argelich; Chu Min Li 001; Felip Manyà; Joan Ramon Soler (Log. J. IGPL, 2021)

Clausal Forms in MaxSAT and MinSAT. - Chu Min Li 001; Felip Manyà; Joan Ramon Soler; Amanda Vidal (Int. J. Comput. Intell. Syst., 2022)