A Clause Tableau Calculus for MaxSAT. CM Li, F Manyà, JR Soler IJCAI, 766-772, 2016 | 32 | 2016 |
A MaxSAT-based approach to the team composition problem in a classroom F Manyà, S Negrete, C Roig, JR Soler Autonomous Agents and Multiagent Systems: AAMAS 2017 Workshops, Visionary …, 2017 | 27 | 2017 |
Clausal form transformation in MaxSAT CM Li, F Manya, JR Soler 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 132-137, 2019 | 14 | 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 | 13 | 2021 |
A tableau calculus for non-clausal maximum satisfiability CM Li, F Manyà, JR Soler International Conference on Automated Reasoning with Analytic Tableaux and …, 2019 | 12 | 2019 |
Solving the team composition problem in a classroom F Manyà, S Negrete, C Roig, JR Soler Fundamenta Informaticae 174 (1), 83-101, 2020 | 10 | 2020 |
Clause branching in MaxSAT and MinSAT J Argelich, CM Li, F Manyà, JR Soler Artificial Intelligence Research and Development, 17-26, 2018 | 9 | 2018 |
A clause tableau calculus for MinSAT LI Chu Min, F Manyà, JR Soler Artificial Intelligence Research and Development: Proceedings of the 19th …, 2016 | 8 | 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 | 3 | 2016 |
From non-clausal to clausal MinSAT M Villaret Artificial Intelligence Research and Development: Proceedings of the 23rd …, 2021 | 2 | 2021 |
New Solving Techniques for Maximum and Minimum Satisfiability JR Soler Universidad Autónoma de Barcelona (UAB) & IIIA-CSIC, 2020 | 2 | 2020 |
Clausal Forms in MaxSAT and MinSAT CM Li, F Manyà, JR Soler, A Vidal International Journal of Computational Intelligence Systems 15 (1), 97, 2022 | | 2022 |
MaxSAT Instances of the Team Composition Problem in a Classroom F Manya, S Negrete, JR Soler MaxSAT Evaluation 2018, 35, 0 | | |