Joan Ramon Soler

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