Mateu Villaret

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 37

Top Topics

Constraint Solving

Scheduling Problem

Top Venues

Publications

Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
Towards a Model of Puzznic. CoRR (2023)
Marc Cané, Jordi Coll, Marc Rojo, Mateu Villaret
SAT-IT: The Interactive SAT Tracer. CCIA (2023)
Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
Challenges in Modelling and Solving Plotting with PDDL. CoRR (2023)
Miquel Bofill, Cristina Borralleras, Joan Espasa, Mateu Villaret
On Grid Graph Reachability and Puzzle Games. CoRR (2023)
Miquel Bofill, Cristina Borralleras, Joan Espasa, Gerard Martín, Gustavo Patow, Mateu Villaret
A Good Snowman is Hard to Plan. CoRR (2023)
Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract). IJCAI (2023)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract). IJCAI (2023)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artif. Intell. 302 (2022)
Miquel Bofill, Jordi Coll, Marc Garcia, Jesús Giráldez-Cru, Gilles Pesant, Josep Suy, Mateu Villaret
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem. J. Artif. Intell. Res. 74 (2022)
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz
Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundam. Informaticae 185 (3) (2022)
Aïda Valls, Cèsar Fernández, Mateu Villaret
New Reasoning Models: Improving Optimisation and Decision Support with the Management of Uncertainty and Constraints. Int. J. Comput. Intell. Syst. 15 (1) (2022)
Miquel Bofill, Jordi Coll, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
The Impact of Implied Constraints on MaxSAT B2B Instances. Int. J. Comput. Intell. Syst. 15 (1) (2022)
Joan Espasa, Ian Miguel, Mateu Villaret
Plotting: A Planning Problem with Complex Transitions. CP (2022)
Miquel Bofill, Jordi Coll, Gerard Martín, Josep Suy, Mateu Villaret
The Sample Analysis Machine Scheduling Problem: Definition and comparison of exact solving approaches. Comput. Oper. Res. 142 (2022)
Miquel Bofill, Joan Espasa, Mateu Villaret
Relaxing non-interference requirements in parallel plans. Log. J. IGPL 29 (1) (2021)
Joan Espasa, Jordi Coll, Ian Miguel, Mateu Villaret
Exploring Lifted Planning Encodings in Essence Prime. CCIA (2021)
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints. CoRR (2021)
Jordi Coll, Joan Espasa, Ian Miguel, Mateu Villaret
A Preliminary Case Study of Planning With Complex Transitions: Plotting. CoRR (2021)
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz
Nominal Unification and Matching of Higher Order Expressions with Recursive Let. CoRR (2021)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations. Artif. Intell. Rev. 53 (7) (2020)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
SMT encodings for Resource-Constrained Project Scheduling Problems. Comput. Ind. Eng. 149 (2020)
Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. CP (2019)
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret
New complexity results for Łukasiewicz logic. Soft Comput. 23 (7) (2019)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations. CPAIOR (2019)
Miquel Bofill, Jesús Giráldez-Cru, Josep Suy, Mateu Villaret
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems. CCIA (2019)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Term-Graph Anti-Unification. FSCD (2018)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems. IJCAI (2017)
Miquel Bofill, Joan Espasa, Mateu Villaret
Relaxed Exists-Step Plans in Planning as SMT. IJCAI (2017)
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
The Spanish Kidney Exchange Model: Study of Computation-Based Alternatives to the Current Procedure. AIME (2017)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. CP (2017)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Higher-Order Pattern Anti-Unification in Linear Time. J. Autom. Reason. 58 (2) (2017)
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Unification of Higher Order Expressions with Recursive Let. CoRR (2016)
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Unification of Higher Order Expressions with Recursive Let. LOPSTR (2016)
Miquel Bofill, Joan Espasa, Mateu Villaret
The RANTANPLAN planner: system description. Knowl. Eng. Rev. 31 (5) (2016)
Miquel Bofill, Joan Espasa, Mateu Villaret
A Semantic Notion of Interference for Planning Modulo Theories. ICAPS (2016)
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers. Fuzzy Sets Syst. 292 (2016)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT. ICTAI (2016)
Miquel Bofill, Marc Garcia, Josep Suy, Mateu Villaret
MaxSAT-Based Scheduling of B2B Meetings. CPAIOR (2015)
Jesús Manuel Almendros-Jiménez, Miquel Bofill, Alejandro Luna Tedesqui, Ginés Moreno, Carlos Vázquez, Mateu Villaret
Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models. SUM (2015)
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret
SAT and SMT Technology for Many-Valued Logics. J. Multiple Valued Log. Soft Comput. 24 (1-4) (2015)
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret
Finding Hard Instances of Satisfiability in Lukasiewicz Logics. ISMVL (2015)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Anti-Unification. RTA (2015)
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret
The Complexity of 3-Valued Łukasiewicz Rules. MDAI (2015)
Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Solving Intensional Weighted CSPs by Incremental Optimization with BDDs. CP (2014)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Anti-Unification. UNIF (2014)
Miquel Bofill, Dídac Busquets, Mateu Villaret
Reformulation Based MaxSAT Robustness - (Extended Abstract). CP (2014)
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
A System for Generation and Visualization of Resource-Constrained Projects. CCIA (2014)
Temur Kutsia, Jordi Levy, Mateu Villaret
Anti-unification for Unranked Terms and Hedges. J. Autom. Reason. 52 (2) (2014)
Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí, Josep Suy, Mateu Villaret
Scheduling B2B Meetings. CP (2014)
Miquel Bofill, Dídac Busquets, Víctor Muñoz, Mateu Villaret
Reformulation based MaxSAT robustness. Constraints An Int. J. 18 (2) (2013)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
A Variant of Higher-Order Anti-Unification. RTA (2013)
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. Constraints An Int. J. 18 (2) (2013)
Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Solving constraint satisfaction problems with SAT modulo theories. Constraints An Int. J. 17 (3) (2012)
Jordi Levy, Mateu Villaret
Nominal Unification from a Higher-Order Perspective. ACM Trans. Comput. Log. 13 (2) (2012)
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret
Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. ISMVL (2012)
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret
Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. ISMVL (2011)
Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
On the complexity of Bounded Second-Order Unification and Stratified Context Unification. Log. J. IGPL 19 (6) (2011)
Temur Kutsia, Jordi Levy, Mateu Villaret
Anti-Unification for Unranked Terms and Hedges. RTA (2011)
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem. SARA (2011)
Jordi Levy, Mateu Villaret
Nominal Unification from a Higher-Order Perspective CoRR (2010)
Miquel Bofill, Dídac Busquets, Mateu Villaret
A declarative approach to robust weighted Max-SAT. PPDP (2010)
Temur Kutsia, Jordi Levy, Mateu Villaret
On the relation between Context and Sequence Unification. J. Symb. Comput. 45 (1) (2010)
Jordi Levy, Mateu Villaret
An Efficient Nominal Unification Algorithm. RTA (2010)
Miquel Bofill, Josep Suy, Mateu Villaret
A System for Solving Constraint Satisfaction Problems with SMT. SAT (2010)
Miquel Bofill, Dídac Busquets, Mateu Villaret
Auction Robustness through Satisability Modulo Theories. WAT (2009)
Jordi Levy, Mateu Villaret
Simplifying the signature in second-order unification. Appl. Algebra Eng. Commun. Comput. 20 (5-6) (2009)
Beatriz López, Víctor Muñoz, Javier Murillo, Federico Barber, Miguel A. Salido, Montserrat Abril, Mariamar Cervantes, Luis F. Caro, Mateu Villaret
Experimental analysis of optimization techniques on the road passenger transportation problem. Eng. Appl. Artif. Intell. 22 (3) (2009)
David Ruiz, Mateu Villaret
TILC: The Interactive Lambda-Calculus Tracer. Electron. Notes Theor. Comput. Sci. 248 (2009)
Jordi Levy, Mateu Villaret
Nominal Unification from a Higher-Order Perspective. RTA (2008)
Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
The Complexity of Monadic Second-Order Unification. SIAM J. Comput. 38 (3) (2008)
Temur Kutsia, Jordi Levy, Mateu Villaret
Sequence Unification Through Currying. RTA (2007)
Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
Bounded Second-Order Unification Is NP-Complete. RTA (2006)
Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
Stratified Context Unification Is NP-Complete. IJCAR (2006)
Jordi Levy, Joachim Niehren, Mateu Villaret
Well-Nested Context Unification. CADE (2005)
Joachim Niehren, Mateu Villaret
Describing Lambda Terms in Context Unification. LACL (2005)
Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
Monadic Second-Order Unification Is NP-Complete. RTA (2004)
Joachim Niehren, Mateu Villaret
Parallelism and Tree Regular Constraints. LPAR (2002)
Jordi Levy, Mateu Villaret
Currying Second-Order Unification Problems. RTA (2002)
Jordi Levy, Mateu Villaret
Context Unification and Traversal Equations. RTA (2001)
Jordi Levy, Mateu Villaret
Linear Second-Order Unification and Context Unification with Tree-Regular Constraints. RTA (2000)