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 | 12 | 2017 |
A Clause Tableau Calculus for MaxSAT. CM Li, F Manyà, JR Soler IJCAI, 766-772, 2016 | 10 | 2016 |
Clausal form transformation in maxsat CM Li, F Manya, JR Soler 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 132-137, 2019 | 6 | 2019 |
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 | 3 | 2021 |
Clause branching in MaxSAT and MinSAT J Argelich, CM Li, F Manyà, Z Zhu IOS Press, 2018 | 3 | 2018 |
A clause tableau calculus for MinSAT LI Chu Min, F Manyà, JR Soler Artificial Intelligence Research and Development: Proceedings of the 19th …, 2016 | 2 | 2016 |
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 | 2 | 2016 |
A tableau calculus for non-clausal maximum satisfiability CM Li, F Manyà, JR Soler International Conference on Automated Reasoning with Analytic Tableaux and …, 2019 | 1 | 2019 |
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 | | |