A Complete Tableau Calculus for the Regular MaxSAT Problem. - Jordi Coll; Chu-Min Li 001; Felip Manyà; Elifnaz Yangin (CCIA, 2023)

MaxSAT resolution for regular propositional logic. - Jordi Coll; Chu-Min Li 001; Felip Manyà; Elifnaz Yangin (Int. J. Approx. Reason., 2023)

A Complete Tableau Calculus for Non-Clausal Regular MinSAT. - Jordi Coll; Chu Min Li 001; Felip Manyà; Elifnaz Yangin (CCIA, 2024)

A Tableau Calculus for Non-Clausal Regular MaxSAT. - Jordi Coll; Chu Min Li 001; Felip Manyà; Elifnaz Yangin (ISMVL, 2024)

A Complete Tableau Calculus for Signed MaxSAT. - Jordi Coll; Chu Min Li 001; Felip Manyà; Elifnaz Yangin (ISMVL, 2025)

Complete tableau calculi for Regular MaxSAT and Regular MinSAT. - Jordi Coll; Chu Min Li 001; Felip Manyà; Elifnaz Yangin (Cogn. Syst. Res., 2025)