Joan Ramon Soler

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 11

Top Topics

Team Composition

Tableau Calculus

Unsatisfiable Cores

Top Venues

Fundam. Informaticae

Publications

Chu Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal
Clausal Forms in MaxSAT and MinSAT. Int. J. Comput. Intell. Syst. 15 (1) (2022)
Chu-Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal
From Non-Clausal to Clausal MinSAT. CCIA (2021)
Josep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler
Clause tableaux for maximum and minimum satisfiability. Log. J. IGPL 29 (1) (2021)
Felip Manyà, Santiago Negrete, Carme Roig, Joan Ramon Soler
Solving the Team Composition Problem in a Classroom. Fundam. Informaticae 174 (1) (2020)
Chu Min Li, Felip Manyà, Joan Ramon Soler
Clausal Form Transformation in MaxSAT. ISMVL (2019)
Chu Min Li, Felip Manyà, Joan Ramon Soler
A Tableau Calculus for Non-clausal Maximum Satisfiability. TABLEAUX (2019)
Josep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler
Clause Branching in MaxSAT and MinSAT. CCIA (2018)
Felip Manyà, Santiago Negrete, Carme Roig, Joan Ramon Soler
A MaxSAT-Based Approach to the Team Composition Problem in a Classroom. AAMAS Workshops (Visionary Papers) (2017)
Chu Min Li, Felip Manyà, Joan Ramon Soler
A Clause Tableau Calculus for MaxSAT. IJCAI (2016)
Chu Min Li, Felip Manyà, Joan Ramon Soler
A Clause Tableau Calculus for MinSAT. CCIA (2016)
Joan Ramon Soler, Felip Manyà
A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics. ISMVL (2016)