| A Clause Tableau Calculus for MaxSAT. CM Li, F Manyà, JR Soler IJCAI, 766-772, 2016 | 8 | 2016 |
| 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 | 7 | 2017 |
| Clause branching in MaxSAT and MinSAT J Argelich, CM Li, F Manyà, Z Zhu IOS Press, 2018 | 3 | 2018 |
| Clausal form transformation in MaxSAT CM Li, F Manyà, JR Soler 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 132-137, 2019 | 2 | 2019 |
| Clause tableaux for maximum and minimum satisfiability J Argelich, CM Li, F Manyà, JR Soler Logic Journal of the IGPL, 2019 | 2 | 2019 |
| A clause tableau calculus for MinSAT C Li, F Manyà, JR Soler International Joint Conferences on Artificial Intelligence, 2016 | 2 | 2016 |
| 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 | 1 | 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 | | 2019 |
| MaxSAT Instances of the Team Composition Problem in a Classroom F Manya, S Negrete, JR Soler MaxSAT Evaluation 2018, 35, 0 | | |
Chu Min LiMIS, Université de Picardie Jules VerneDirección de correo verificada de u-picardie.fr
