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 Clause Tableau Calculus for MaxSAT.
CM Li, F Manyà, JR Soler
IJCAI, 766-772, 2016
82016
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
72017
Clause branching in MaxSAT and MinSAT
J Argelich, CM Li, F Manyà, Z Zhu
IOS Press, 2018
32018
Clausal form transformation in MaxSAT
CM Li, F Manyà, JR Soler
2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 132-137, 2019
22019
Clause tableaux for maximum and minimum satisfiability
J Argelich, CM Li, F Manyà, JR Soler
Logic Journal of the IGPL, 2019
22019
A clause tableau calculus for MinSAT
C Li, F Manyà, JR Soler
International Joint Conferences on Artificial Intelligence, 2016
22016
A bit-vector approach to satisfiability testing in finitely-valued logics
JR Soler, F Manyà
2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL), 270-275, 2016
12016
A Tableau Calculus for Non-clausal Maximum Satisfiability
CM Li, F Manyà, JR Soler
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
2019
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–9