Joan Ramon Soler
Joan Ramon Soler
PHD student, IIIA-CSIC
Dirección de correo verificada de iiia.csic.es
Título
Citado por
Citado por
Año
A MaxSAT-based approach to the team composition problem in a classroom
F Manya, S Negrete, C Roig, JR Soler
International Conference on Autonomous Agents and Multiagent Systems, 164-173, 2017
122017
A Clause Tableau Calculus for MaxSAT.
CM Li, F Manyà, JR Soler
IJCAI, 766-772, 2016
102016
Clausal form transformation in maxsat
CM Li, F Manya, JR Soler
2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 132-137, 2019
62019
Clause tableaux for maximum and minimum satisfiability
J Argelich, CM Li, F Manyà, JR Soler
Logic Journal of the IGPL 29 (1), 7-27, 2021
32021
Clause branching in MaxSAT and MinSAT
J Argelich, CM Li, F Manyà, Z Zhu
IOS Press, 2018
32018
A clause tableau calculus for MinSAT
LI Chu Min, F Manyà, JR Soler
Artificial Intelligence Research and Development: Proceedings of the 19th …, 2016
22016
A bit-vector approach to satisfiability testing in finitely-valued logics
JR Soler, F Manya
2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL), 270-275, 2016
22016
A tableau calculus for non-clausal maximum satisfiability
CM Li, F Manyà, JR Soler
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
12019
Solving the Team Composition Problem in a Classroom
F Manyà, S Negrete, C Roig, JR Soler
Fundamenta Informaticae 174 (1), 83-101, 2020
2020
MaxSAT Instances of the Team Composition Problem in a Classroom
F Manya, S Negrete, JR Soler
MaxSAT Evaluation 2018, 35, 0
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–10