Mateu Villaret

87 papers A* 5A 9B 9C 2Journal 37Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Nominal anti-unification. CoRR Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2024	B	`conf`	Cross-Paradigm Modelling: A Study of Puzznic. ICTAI Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2024	J	`jnl`	Optimizing resource allocation in home care services using MaxSAT. Cogn. Syst. Res. Irene Unceta, Bernat Salbanya, Jordi Coll, Mateu Villaret, Jordi Nin
2024	J	`jnl`	Plotting: a case study in lifted planning with constraints. Constraints An Int. J. Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2023	J	`jnl`	A Good Snowman is Hard to Plan. CoRR Miquel Bofill, Cristina Borralleras, Joan Espasa, Gerard Martín, Gustavo Patow, Mateu Villaret
2023	J	`jnl`	Challenges in Modelling and Solving Plotting with PDDL. CoRR Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2023	A*	`conf`	Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract). IJCAI Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
2023	J	`jnl`	On Grid Graph Reachability and Puzzle Games. CoRR Miquel Bofill, Cristina Borralleras, Joan Espasa, Mateu Villaret
2023	A*	`conf`	SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract). IJCAI Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
2023	—	`conf`	SAT-IT: The Interactive SAT Tracer. CCIA Marc Cané, Jordi Coll, Marc Rojo, Mateu Villaret
2023	J	`jnl`	Towards a Model of Puzznic. CoRR Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
2022	J	`jnl`	Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem. J. Artif. Intell. Res. Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
2022	J	`jnl`	New Reasoning Models: Improving Optimisation and Decision Support with the Management of Uncertainty and Constraints. Int. J. Comput. Intell. Syst. Aïda Valls, Cèsar Fernández, Mateu Villaret
2022	J	`jnl`	Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundam. Informaticae Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz
2022	A	`conf`	Plotting: A Planning Problem with Complex Transitions. CP Joan Espasa, Ian Miguel, Mateu Villaret
2022	J	`jnl`	SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artif. Intell. Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
2022	J	`jnl`	The Impact of Implied Constraints on MaxSAT B2B Instances. Int. J. Comput. Intell. Syst. Miquel Bofill, Jordi Coll, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
2022	J	`jnl`	The Sample Analysis Machine Scheduling Problem: Definition and comparison of exact solving approaches. Comput. Oper. Res. Miquel Bofill, Jordi Coll, Gerard Martín, Josep Suy, Mateu Villaret
2021	J	`jnl`	A Preliminary Case Study of Planning With Complex Transitions: Plotting. CoRR Jordi Coll, Joan Espasa, Ian Miguel, Mateu Villaret
2021	—	`ed.`	Artificial Intelligence Research and Development - Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence, CCIA 2021, Virtual Event, 20-22 October, 2021. CCIA Mateu Villaret, Teresa Alsinet, Cèsar Fernández, Aïda Valls
2021	—	`conf`	Exploring Lifted Planning Encodings in Essence Prime. CCIA Joan Espasa, Jordi Coll, Ian Miguel, Mateu Villaret
2021	J	`jnl`	Nominal Unification and Matching of Higher Order Expressions with Recursive Let. CoRR Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz
2021	J	`jnl`	Relaxing non-interference requirements in parallel plans. Log. J. IGPL Miquel Bofill, Joan Espasa, Mateu Villaret
2021	J	`jnl`	SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints. CoRR Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
2020	J	`jnl`	An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations. Artif. Intell. Rev. Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2020	J	`jnl`	SMT encodings for Resource-Constrained Project Scheduling Problems. Comput. Ind. Eng. Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2019	—	`conf`	A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. CCIA Miquel Bofill, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
2019	A	`conf`	Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. CP Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret
2019	J	`jnl`	New complexity results for Łukasiewicz logic. Soft Comput. Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret
2019	B	`conf`	SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations. CPAIOR Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2018	B	`conf`	Term-Graph Anti-Unification. FSCD Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2017	A	`conf`	An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. CP Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2017	A*	`conf`	Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems. IJCAI Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2017	J	`jnl`	Higher-Order Pattern Anti-Unification in Linear Time. J. Autom. Reason. Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2017	A*	`conf`	Relaxed Exists-Step Plans in Planning as SMT. IJCAI Miquel Bofill, Joan Espasa, Mateu Villaret
2017	B	`conf`	The Spanish Kidney Exchange Model: Study of Computation-Based Alternatives to the Current Procedure. AIME Miquel Bofill, Marcos Calderón, Francesc Castro, Esteve del Acebo, Pablo Delgado, Marc Garcia, Marta García, Marc Roig, María O. Valentín, Mateu Villaret
2016	A*	`conf`	A Semantic Notion of Interference for Planning Modulo Theories. ICAPS Miquel Bofill, Joan Espasa, Mateu Villaret
2016	J	`jnl`	Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers. Fuzzy Sets Syst. Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret
2016	C	`conf`	Nominal Unification of Higher Order Expressions with Recursive Let. LOPSTR Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret
2016	J	`jnl`	Nominal Unification of Higher Order Expressions with Recursive Let. CoRR Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret
2016	B	`conf`	Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT. ICTAI Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2016	J	`jnl`	The RANTANPLAN planner: system description. Knowl. Eng. Rev. Miquel Bofill, Joan Espasa, Mateu Villaret
2015	J	`jnl`	Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Miquel Bofill, Ginés Moreno, Carlos Vázquez, Mateu Villaret
2015	—	`conf`	Finding Hard Instances of Satisfiability in Lukasiewicz Logics. ISMVL Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret
2015	—	`conf`	Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models. SUM Jesús Manuel Almendros-Jiménez, Miquel Bofill, Alejandro Luna Tedesqui, Ginés Moreno, Carlos Vázquez, Mateu Villaret
2015	B	`conf`	MaxSAT-Based Scheduling of B2B Meetings. CPAIOR Miquel Bofill, Marc Garcia, Josep Suy, Mateu Villaret
2015	—	`conf`	Nominal Anti-Unification. RTA Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2015	J	`jnl`	SAT and SMT Technology for Many-Valued Logics. J. Multiple Valued Log. Soft Comput. Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret
2015	B	`conf`	The Complexity of 3-Valued Łukasiewicz Rules. MDAI Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret
2014	—	`conf`	A System for Generation and Visualization of Resource-Constrained Projects. CCIA Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
2014	J	`jnl`	Anti-unification for Unranked Terms and Hedges. J. Autom. Reason. Temur Kutsia, Jordi Levy, Mateu Villaret
2014	—	`conf`	Nominal Anti-Unification. UNIF Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2014	A	`conf`	Reformulation Based MaxSAT Robustness - (Extended Abstract). CP Miquel Bofill, Dídac Busquets, Mateu Villaret
2014	A	`conf`	Scheduling B2B Meetings. CP Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí, Josep Suy, Mateu Villaret
2014	A	`conf`	Solving Intensional Weighted CSPs by Incremental Optimization with BDDs. CP Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
2013	—	`conf`	A Variant of Higher-Order Anti-Unification. RTA Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
2013	J	`jnl`	Reformulation based MaxSAT robustness. Constraints An Int. J. Miquel Bofill, Dídac Busquets, Víctor Muñoz, Mateu Villaret
2013	J	`jnl`	Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. Constraints An Int. J. Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
2012	—	`conf`	Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. ISMVL Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret
2012	B	`ed.`	Modeling Decisions for Artificial Intelligence - 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings MDAI Vicenç Torra, Yasuo Narukawa, Beatriz López, Mateu Villaret
2012	J	`jnl`	Nominal Unification from a Higher-Order Perspective. ACM Trans. Comput. Log. Jordi Levy, Mateu Villaret
2012	J	`jnl`	Solving constraint satisfaction problems with SAT modulo theories. Constraints An Int. J. Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
2011	—	`conf`	Anti-Unification for Unranked Terms and Hedges. RTA Temur Kutsia, Jordi Levy, Mateu Villaret
2011	—	`conf`	Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. ISMVL Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret
2011	J	`jnl`	On the complexity of Bounded Second-Order Unification and Stratified Context Unification. Log. J. IGPL Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
2011	—	`conf`	Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem. SARA Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
2010	A	`conf`	A System for Solving Constraint Satisfaction Problems with SMT. SAT Miquel Bofill, Josep Suy, Mateu Villaret
2010	C	`conf`	A declarative approach to robust weighted Max-SAT. PPDP Miquel Bofill, Dídac Busquets, Mateu Villaret
2010	—	`conf`	An Efficient Nominal Unification Algorithm. RTA Jordi Levy, Mateu Villaret
2010	J	`jnl`	Nominal Unification from a Higher-Order Perspective CoRR Jordi Levy, Mateu Villaret
2010	J	`jnl`	On the relation between Context and Sequence Unification. J. Symb. Comput. Temur Kutsia, Jordi Levy, Mateu Villaret
2009	—	`conf`	Auction Robustness through Satisability Modulo Theories. WAT Miquel Bofill, Dídac Busquets, Mateu Villaret
2009	J	`jnl`	Experimental analysis of optimization techniques on the road passenger transportation problem. Eng. Appl. Artif. Intell. Beatriz López, Víctor Muñoz, Javier Murillo, Federico Barber, Miguel A. Salido, Montserrat Abril, Mariamar Cervantes, Luis F. Caro, Mateu Villaret
2009	J	`jnl`	Simplifying the signature in second-order unification. Appl. Algebra Eng. Commun. Comput. Jordi Levy, Mateu Villaret
2008	—	`conf`	Nominal Unification from a Higher-Order Perspective. RTA Jordi Levy, Mateu Villaret
2008	—	`conf`	TILC: The Interactive Lambda-Calculus Tracer. PROLE David Ruiz, Mateu Villaret
2008	J	`jnl`	The Complexity of Monadic Second-Order Unification. SIAM J. Comput. Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
2007	—	`conf`	Sequence Unification Through Currying. RTA Temur Kutsia, Jordi Levy, Mateu Villaret
2006	—	`conf`	Bounded Second-Order Unification Is NP-Complete. RTA Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
2006	A	`conf`	Stratified Context Unification Is NP-Complete. IJCAR Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
2005	—	`conf`	Describing Lambda Terms in Context Unification. LACL Joachim Niehren, Mateu Villaret
2005	A	`conf`	Well-Nested Context Unification. CADE Jordi Levy, Joachim Niehren, Mateu Villaret
2004	—	`conf`	Monadic Second-Order Unification Is NP-Complete. RTA Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
2002	—	`conf`	Currying Second-Order Unification Problems. RTA Jordi Levy, Mateu Villaret
2002	B	`conf`	Parallelism and Tree Regular Constraints. LPAR Joachim Niehren, Mateu Villaret
2001	—	`conf`	Context Unification and Traversal Equations. RTA Jordi Levy, Mateu Villaret
2000	—	`conf`	Linear Second-Order Unification and Context Unification with Tree-Regular Constraints. RTA Jordi Levy, Mateu Villaret