Villaret Auselle, Mateu
Mostrant 1 a 10 de 10 resultats
Data | Títol | Autor(s) | Tipus |
---|---|---|---|
2021 | Artificial Intelligence Research and Development | Mateu Villaret; Teresa Alsinet; Cèsar Fernández; Aïda Valls | Capítol o part de llibre |
2017 | An efficient SMT approach to solve MRCPSP/max instances with tight constraints on resources | Bofill, M.; Coll, J.; Suy, J.; Villaret, M. | Capítol o part de llibre |
2017 | Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems | Bofill, M.; Coll, J.; Suy, J.; Villaret, M. | Capítol o part de llibre |
2017 | Relaxed Exists-Step Plans in Planning as SMT | Bofill, M.; Espasa, J.; Villaret, M. | Capítol o part de llibre |
2016 | Nominal Unification of Higher Order Expressions with Recursive Let. | Manfred Schmidt-Schauß; Temur Kutsia; Jordi Levy; Mateu Villaret | Capítol o part de llibre |
2016 | A Semantic Notion of Interference for Planning Modulo Theories | Bofill, M.; Espasa, J.; Villaret, M. | Capítol o part de llibre |
2016 | A Study on Implied Constraints in a MaxSAT Approach to B2B Problems | Bofill, M.; Garcia, M.; Giráldez-Cru, J.; Villaret, M. | Capítol o part de llibre |
2016 | Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT | Bofill, M.; Coll, J.; Suy, J.; Villaret, M. | Capítol o part de llibre |
2010 | A Declarative approach to robust weighted max-SAT | Bofill, M.; Busquets, D.; Villaret, M. | Capítol o part de llibre |
2001 | A system for CSP solving through Satisfiability Modulo Theories | Bofill, M.; Palahí, M.; Villaret, M. | Capítol o part de llibre |