| The RANTANPLAN planner: system description M Bofill, J Espasa, M Villaret The Knowledge Engineering Review 31 (5), 452-464, 2016 | 22 | 2016 |
| Scheduling B2B meetings M Bofill, J Espasa, M Garcia, M Palahí, J Suy, M Villaret Principles and Practice of Constraint Programming: 20th International …, 2014 | 19 | 2014 |
| Effective encodings of constraint programming models to SMT E Davidson, Ö Akgün, J Espasa, P Nightingale Principles and Practice of Constraint Programming: 26th International …, 2020 | 10 | 2020 |
| Relaxed∃-Step Plans in Planning as SMT M Bofill, J Espasa, M Villaret Proceedings of the 26th International Joint Conference on Artificial …, 2017 | 9* | 2017 |
| A semantic notion of interference for planning modulo theories M Bofill, J Espasa, M Villaret Proceedings of the International Conference on Automated Planning and …, 2016 | 8 | 2016 |
| Towards Lifted Encodings for Numeric Planning in Essence Prime J Espasa, J Coll, I Miguel, M Villaret CP 2019 Workshop on Constraint Modelling and Reformulation, 2019 | 7 | 2019 |
| Efficient SMT Encodings for the Petrobras Domain M Bofill, J Espasa, M Villaret Proceedings of the 13th International Workshop on Constraint Modelling and …, 2014 | 7 | 2014 |
| Using small muses to explain how to solve pen and paper puzzles J Espasa, IP Gent, R Hoffmann, C Jefferson, AM Lynch, A Salamon, ... arXiv preprint arXiv:2104.15040, 2021 | 6 | 2021 |
| A Framework for Generating Informative Benchmark Instances N Dang, Ö Akgün, J Espasa, I Miguel, P Nightingale arXiv preprint arXiv:2205.14753, 2022 | 4 | 2022 |
| Relaxing non-interference requirements in parallel plans M Bofill, J Espasa, M Villaret Logic Journal of the IGPL 29 (1), 45-71, 2021 | 3 | 2021 |
| An extension to Simply for solving Weighted Constraint Satisfaction Problems with Pseudo-Boolean Constraints M Bofill, J Espasa, M Palahı, M Villaret XII Spanish Conference on Programming and Computer Languages (PROLE 2012 …, 2012 | 3 | 2012 |
| The 2023 International Planning Competition A Taitler, R Alford, J Espasa, G Behnke, D Fišer, M Gimelfarb, ... AI Magazine, 2024 | 2 | 2024 |
| Plotting: a planning problem with complex transitions J Espasa Arxer, IJ Miguel, M Villaret 28th International Conference on Principles and Practice of Constraint …, 2022 | 2 | 2022 |
| Towards generic explanations for pen and paper puzzles with MUSes J Espasa Arxer, IP Gent, R Hoffmann, C Jefferson, MJ McIlree, AM Lynch Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021, 2021 | 2 | 2021 |
| SMT techniques for planning problems J Espasa Arxer Universitat de Girona, 2018 | 2 | 2018 |
| Fuzzy vs neural network models for environmental decision support system implementation aiming to standardise the multiparametric decision in a Drinking Water Plant with … M Dalmau, H Monclús, J Espasa, N Atanasova, M Poch, P Emiliano, ... | 2 | 2016 |
| Bridging the Gap between Structural and Semantic Similarity in Diverse Planning MF Abdelwahed, J Espasa, A Toniolo, IP Gent arXiv preprint arXiv:2310.01520, 2023 | 1 | 2023 |
| Towards Automatic Design of Factorio Blueprints S Patterson, J Espasa, MS Chang, R Hoffmann arXiv preprint arXiv:2310.01505, 2023 | 1 | 2023 |
| A Good Snowman is Hard to Plan M Bofill, C Borralleras, JE Arxer, GM Teixidor, GA Patow, M Villaret ICAPS Workshop on Knowledge Engineering for Planning and Scheduling (KEPS …, 2023 | 1 | 2023 |
| Exploring lifted planning encodings in Essence Prime J Espasa, J Coll, I Miguel, M Villaret Artificial Intelligence Research and Development, 66-75, 2021 | 1 | 2021 |
Mateu Villaret AuselleUniversitat de Girona在 ima.udg.edu 的电子邮件经过验证
