Mateu Villaret Auselle
Universidad de Gerona
H-index: 19
Europe-Spain
Top articles of Mateu Villaret Auselle
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
SAT-IT: The Interactive SAT Tracer | Artificial Intelligence Research and Development: Proceedings of the 25th International Conference of the Catalan Association for Artificial Intelligence | I Sanz | 2023/11/9 |
Towards a Model of Puzznic | arXiv preprint arXiv:2310.01503 | Joan Espasa Ian P Gent Ian Miguel Peter Nightingale András Z Salamon | 2023/10/2 |
On Grid Graph Reachability and Puzzle Games | arXiv preprint arXiv:2310.01378 | Miquel Bofill Cristina Borralleras Joan Espasa Mateu Villaret | 2023/10/2 |
Challenges in Modelling and Solving Plotting with PDDL | arXiv preprint arXiv:2310.01470 | Joan Espasa Ian Miguel Peter Nightingale András Z Salamon Mateu Villaret | 2023/10/2 |
A good snowman is hard to plan | arXiv preprint arXiv:2310.01471 | Miquel Bofill Cristina Borralleras Joan Espasa Gerard Martín Gustavo Patow | 2023/10/2 |
Nominal unification and matching of higher order expressions with recursive let | Fundamenta Informaticae | Manfred Schmidt-Schauß Temur Kutsia Jordi Levy Mateu Villaret Yunus Kutz | 2022/5/6 |
New Reasoning Models: Improving Optimisation and Decision Support with the Management of Uncertainty and Constraints | International Journal of Computational Intelligence Systems | Aida Valls Cèsar Fernández Mateu Villaret | 2022/12/8 |
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints | © Artificial Intelligence, 2022, vol. 302, art. núm. 103604 | Miquel Bofill Arasa Jordi Coll Caballero Peter Nightingale Josep Suy Franch Felix Ulrich-Oltean | 2022 |
The impact of implied constraints on maxsat B2B instances | International Journal of Computational Intelligence Systems | Miquel Bofill Jordi Coll Jesús Giráldez-Cru Josep Suy Mateu Villaret | 2022/8/11 |
Plotting: a planning problem with complex transitions | 28th International Conference on Principles and Practice of Constraint Programming (CP 2022) | Joan Espasa Arxer Ian James Miguel Mateu Villaret | 2022/7/23 |
The sample analysis machine scheduling problem: definition and comparison of exact solving approaches | Computers & Operations Research | Miquel Bofill Jordi Coll Gerard Martín Josep Suy Mateu Villaret | 2022/6/1 |
Constraint solving approaches to the business-to-business meeting scheduling problem | Journal of Artificial Intelligence Research | Miquel Bofill Jordi Coll Marc Garcia Jesús Giráldez-Cru Gilles Pesant | 2022/5/26 |
Exploring lifted planning encodings in Essence Prime | Artificial Intelligence Research and Development: Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence | M Villaret | 2021/10/14 |
Relaxing non-interference requirements in parallel plans | Logic Journal of the IGPL | Miquel Bofill Joan Espasa Mateu Villaret | 2021/2 |
A Preliminary Case Study of Planning With Complex Transitions: Plotting | arXiv preprint arXiv:2110.14397 | Jordi Coll Joan Espasa Ian Miguel Mateu Villaret | 2021/10/27 |
Supporting enrollment in higher education through a visual recommendation system | Artificial Intelligence Research and Development: Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence | M Villaret | 2021/10/14 |
Artificial Intelligence Research and Development: Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence | Mateu Villaret Teresa Alsinet Cèsar Fernández | 2021/10/14 | |
SMT encodings for resource-constrained project scheduling problems | Computers & Industrial Engineering | Miquel Bofill Jordi Coll Josep Suy Mateu Villaret | 2020/11/1 |
An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations | Artificial Intelligence Review | Miquel Bofill Jordi Coll Josep Suy Mateu Villaret | 2020/10 |