Joan Ramon Soler

Joan Ramon Soler

Instituto de Investigación en Ciencias de la Alimentación - Madrid / Spain
Others
AD Scientific Index ID: 5418518
Food Science Research Institute
person_outline Joan Ramon Soler's MOST POPULAR ARTICLES
1-) A Clause Tableau Calculus for MaxSAT.CM Li, F Manyà, JR SolerIJCAI, 766-772, 2016322016
2-) A MaxSAT-based approach to the team composition problem in a classroomF Manyà, S Negrete, C Roig, JR SolerAutonomous Agents and Multiagent Systems: AAMAS 2017 Workshops, Visionary …, 2017272017
3-) Solving the team composition problem in a classroomF Manyà, S Negrete, C Roig, JR SolerFundamenta Informaticae 174 (1), 83-101, 2020152020
4-) Clause tableaux for maximum and minimum satisfiabilityJ Argelich, CM Li, F Manyà, JR SolerLogic Journal of the IGPL 29 (1), 7-27, 2021142021
5-) A tableau calculus for non-clausal maximum satisfiabilityCM Li, F Manyà, JR SolerInternational Conference on Automated Reasoning with Analytic Tableaux and …, 2019142019