Congreso: ModRef 2014: The Thirteenth International Workshop on Constraint Modelling and Reformulation. Lyon (FRA) 2014. Título: WSimply: Solving intensional WCSPs by reformulation into SMT Autores: Villaret, M.
Congreso: 21st Conference of the International Federation of Operational Research Societies (IFORS'17. Quebec (CAN) 2017. Título: Study of a Heuristic for efficient computation of optimized sets of Chains and Cycles observing the Spanish KEP policies Autores: Francesc Castro, Esteve del Acebo, Miquel Bofill, Mateu Villaret Congreso: 24th International Conference on Rewriting Techniques and Applications, RTA 2013. Eindhoven (NLD) 2013. Título: A Variant of Higher-Order Anti-Unification Autores: Baumgartner, A; Kutsia, T.; Levy, J.; Villaret, M. Congreso: 22nd International Conference on Rewriting Techniques and Applications, RTA 2011. Novi Sad (SRB) 2011. Título: Anti-Unification for Unranked Terms and Hedges Autores: Kutsia, T.; Levy, J.; Villaret, M. Congreso: 21st International Conference on Rewriting Techniques and Applications, RTA 2010. Edinburgh (GBR) 2010. Título: An Efficient Nominal Unification Algorithm Autores: Levy, J.; Villaret, M. Congreso: IX Jornadas sobre Programación y Lenguajes (PROLE 2009). San Sebastián (ESP) 2009. Título: A system for CSP solving through Satisfiability Modulo Theories Autores: Bofill, M.; Palahí, M.; Villaret, M. Congreso: 19th Internacional Conference on Rewriting Techniques and Applications (RTA 2008). Hagenberg (AUT) 2008. Título: Nominal unification from a higher-order perspective Autores: Levy, J.; Villaret, M. Congreso: VIII Jornadas sobre Programación y Lenguajes (PROLE 2008). Gijón (ESP) 2008. Título: TILC: The interactive lambda-calculus tracer Autores: Ruíz, D.; Villaret, M. Congreso: 18th Internacional Conference on Rewriting Techniques and Applications (RTA). Paris (FRA) 2007. Título: Sequence Unification Throught Currying Autores: Kutsia, T; Levy, J.; Villaret, M. Congreso: 3rd International Joint Conference on Automated Reasoning (IJCAR). Seattle (USA) 2006. Título: Stratified Context Unification is NP-Complete Autores: Levy, J.; Schmidt-Schauss, M.; Villaret, M. Congreso: 17th Internacional Conference on Rewriting Techniques and Applications (RTA). Seattle (USA) 2006. Título: Bounded Second-Order Unification is NP-Complete Autores: Levy, J.; Schmidt-Schauss, M.; Villaret, M. Congreso: 20th International Conference on Automated Deduction (CADE-20). Tallin (EST) 2005. Título: Well-Nested Context Unification Autores: Levy, J.; Villaret, M.; Niehren, J. Congreso: 5th International Conference on Logical Aspects of Computational Linguistics (LACL). Bordeaux (FRA) 2005. Título: Describing Lambda-Terms in Context Unification Autores: Niehren, J.; Villaret, M. Congreso: 15th Internacional Conference on Rewriting Techniques and Applications (RTA). Aachen (DEU) 2004. Título: Monadic second-order unification is NP-complete Autores: Levy, J.; Schmidt-Schauss, M.; Villaret, M. Congreso: 4th Workshop on Inference in Computational Semantics (ICOS). Nancy (FRA) 2003. Título: Describing lambda-terms in context unification Autores: Niehren, J.; Villaret, M. Congreso: 13th Internacional Conference on Rewriting Techniques and Applications (RTA). Copenhagen (DMK) 2002. Título: Currying second-order unification Autores: Levy, J.; Villaret, M. Congreso: 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR). Tbilisi (GEO) 2002. Título: Parallelism and tree regular constraints Autores: Niehren, J.; Villaret, M. Congreso: 7th Student Sessions of the European Summer School in Logic, Language, and Information (ESSLLI). Trento (ITA) 2002. Título: Processing tree regular constraints in context unification Autores: Villaret, M. Congreso: 12th Internacional Conference on Rewriting Techniques and Applications (RTA). Utrecht (NLD) 2001. Título: Context unification and traversal equations Autores: Levy, J.; Villaret, M. Congreso: 11th Internacional Conference on Rewriting Techniques and Applications (RTA). Norwich (GBR) 2000. Título: Linear second-order unification and context unification with tree-regular constraints Autores: Levy, J.; Villaret, M.
Congreso: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). Melbourne (AUS) 2017. Título: Compact MDDs for pseudo-boolean constraints with at-most-one relations in resource-constrained scheduling problems Autores: Bofill, M.; Coll, J.; Suy, J.; Villaret, M. Congreso: CP Doctoral Program 2013. Co-located with the 19th International Conference on the Principles and Practice of Constraint Programming (CP 2013).. Uppsala (SWE) 2013. Título: Boosting weighted CSP resolution with BDDs Autores: Bofill, M.; Palahí, M.; Suy, J.; Villaret, M.
Congreso: 25th International Conference on Principles and Practice of Constraint Programming (CP 2019). Stamford (USA) 2019. Título: Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints Autores: Ansótegui, C.; Bofill, M.; Coll, J.; Dang, N.; Esteban, J.L.; Miguel, I.; Nightingale, P.; Salamon, A.; Suy, J.; Villaret, M. Congreso: 16th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019). Thessaloniki (GRC) 2019. Título: SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations Autores: Bofill, M.; Coll, J.; Suy, J.; Villaret, M. Congreso: 22nd International Conference of the Catalan Association for Artificial Intelligence (CCIA 2019). Mallorca (ESP) 2019. Título: A Study on Implied Constraints in a MaxSAT Approach to B2B Problems Autores: Bofill, M.; Giráldez-Cru, J.; Suy, J.; Villaret, M. Congreso: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). Melbourne (AUS) 2017. Título: Relaxed Exists-Step Plans in Planning as SMT Autores: Bofill, M.; Espasa, J.; Villaret, M. Congreso: 7th international workshop on Many-Valued Logic. Toulouse (FRA) 2017. Título: Lukasiewicz logic in practice Autores: Bofill, M.; Manyà, F.; Vidal, A.; Villaret, M. Congreso: Principles and Practice of Constraint Programming (CP 2017). Melbourne (AUS) 2017. Título: An Efficient SMT approach to solve MRCPSP/max instances with tight constraints on resources Autores: Bofill, M.; Coll, J.; Suy, J.; Villaret, M. Congreso: Joint Doctoral Program of conferences: Principles and Practice of Constraint Programming (CP 2017), International Conference on Theory and Application. Melbourne (AUS) 2017. Título: An Efficient SMT approach to solve MRCPSP/max instances with tight constraints on resources - Abstract Autores: Bofill, M.; Coll, J.; Suy, J.; Villaret, M. Congreso: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). Melbourne (AUS) 2017. Título: Compact MDDs for pseudo-boolean constraints with at-most-one relations in resource-constrained scheduling problems Autores: Bofill, M.; Coll, J.; Suy, J.; Villaret, M. Congreso: 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI). San José (USA) 2016. Título: Solving the multi-mode resource-constrained project scheduling problem with SMT Autores: Bofill, M.; Coll, J.; Suy, J.; Villaret, M. Congreso: 26th International Conference on Automated Planning and Scheduling (ICAPS 2016). London (GBR) 2016. Título: A Semantic Notion of Interference for Planning Modulo Theories Autores: Bofill, M.; Espasa, J.; Villaret, M. Congreso: Workshop on Pragmatics of SAT (POS 2016). Bordeaux (FRA) 2016. Título: A Study on Implied Constraints in a MaxSAT Approach to B2B Problems Autores: Bofill, M.; Garcia, M.; Giráldez-Cru, J.; Villaret, M. Congreso: 45th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015). Waterloo (CAN) 2015. Título: Finding Hard Instances of Satisfiability in Łukasiewicz Logics Autores: Bofill, M.; Manyà, F.; Vidal, A.; Villaret, M. Congreso: Twelfth International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPA. Barcelona (ESP) 2015. Título: SAT-based Scheduling of B2B meetings Autores: Bofill, M.; Garcia, M.; Suy, J.; Villaret, M. Congreso: 9th International Conference on Scalable Uncertainty Management (SUM 2015). Québec City (CAN) 2015. Título: Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models Autores: Almendros-Jiménez, J.M.; Bofill, M.; Luna, A.; Moreno, G.; Vázquez, C.; Villaret, M. Congreso: 26th International Conference on Rewriting Techniques and Applications. Warsaw (POL) 2015. Título: Nominal Anti-Unification Autores: Baumgartner, A.; Kutsia, T.; Levy, J.; Villaret, M. Congreso: Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2015) Co-located with the 25th International Conference on. Jerusalem (ISR) 2015. Título: The RANTANPLAN planner: System description Autores: Bofill, M.; Espasa, J.; Villaret, M. Congreso: 45th IEEE International Symposium on Multiple-Valued Logic. Waterloo (CAN) 2015. Título: Finding Hard Instances of Satisfiability in Lukasiewicz Logic Autores: Bofill, M.; Manyà, F.; Vidal, A.; Villaret, M. Congreso: 12th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2015). Barcelona (ESP) 2015. Título: MaxSAT-Based Scheduling of B2B Meetings Autores: Bofill, M.; Garcia, M.; Suy, J.; Villaret, M. Congreso: 12th International Conference on Modeling Decisions for Artificial Intelligence (MDAI 2015). Skövde (SWE) 2015. Título: The Complexity of 3-Valued Łukasiewicz Rules Autores: Bofill, M.; Manyà, F.; Vidal, A.; Villaret, M. Congreso: 17th International Conference of the Catalan Association for Artificial Intelligence (CCIA 2014). Barcelona (ESP) 2014. Título: A System for Generation and Visualization of Resource-Constrained Projects Autores: Bofill, M.; Coll, J.; Suy, J.; Villaret, M. Congreso: 20th International Conference on Principles and Practice of Constraint Programming (CP 2014) . Lyon (FRA) 2014. Título: Solving Intensional Weighted CSPs by Incremental Optimization with BDDs Autores: Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. Congreso: 20th International Conference on Principles and Practice of Constraint Programming (CP 2014) . Lyon (FRA) 2014. Título: Reformulation Based MaxSAT Robustness (Extended Abstract) Autores: Bofill, M.; Busquets, D.; Villaret, M. Congreso: 13th International Workshop on Constraint Modelling and Reformulation (ModRef 2014). Co-located with the 20th International Conference on Principles a. Lyon (FRA) 2014. Título: Efficient SMT Encodings for the Petrobras Domain Autores: Bofill, M.; Espasa, J.; Villaret, M. Congreso: 20th International Conference on Principles and Practice of Constraint Programming (CP 2014) . Lyon (FRA) 2014. Título: Scheduling B2B Meetings Autores: Bofill, M.; Espasa, J.; Garcia, M.; Palahí, M.; Suy, J.; Villaret, M. Congreso: ModRef 2014: The Thirteenth International Workshop on Constraint Modelling and Reformulation. Lyon (FRA) 2014. Título: Efficient SMT Encodings for the Petrobras Domain Autores: Bofill, M.; Espasa, J.; Villaret, M. Congreso: 20th International Conference on the Principles and Practice of Constraint Programming (CP 2014).. Lyon (FRA) 2014. Título: Solving Intensional Weighted CSPs by incremental optimization with BDDs. Autores: Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. Congreso: 20th International Conference on the Principles and Practice of Constraint Programming (CP 2014).. Lyon (FRA) 2014. Título: Scheduling B2B meetings. Autores: Bofill, M.; Espasa, J.; Garcia, M.; Palahí, M.; Suy, J.; Villaret, M. Congreso: 12th International Workshop on Constraint Modelling and Reformulation (ModRef 2013). Co-located with the 19th International Conference on the Principl. Uppsala (SWE) 2013. Título: Boosting weighted CSP resolution with BDDs Autores: Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. Congreso: XIII Jornadas sobre Programación y Lenguajes (PROLE'13). Madrid (ESP) 2013. Título: Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT Autores: Bofill, M.; Moreno, G.; Vázquez, C.; Villaret, M. Congreso: 42nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2012). Victoria (CAN) 2012. Título: Building Automated Theorem Provers for Infinitely Valued Logics with Satisfiability Modulo Theory Solvers Autores: Ansótegui, C.; Bofill, M.; Manyà, F.; Villaret, M. Congreso: XII Jornadas sobre Programación y Lenguajes (PROLE'12). Almería (ESP) 2012. Título: An extension to Simply for solving weighted constraint satisfaction problems with pseudo-Boolean constraints Autores: Bofill, M.; Espasa, J.; Palahí, M.; Villaret, M. Congreso: 9th Symposium on Abstraction, Reformulation and Approximation (SARA 2011). Cardona (ESP) 2011. Título: Satisfiability Modulo Theories: an Efficient Approach for the Resource-Constrained Project Scheduling Problem Autores: Ansótegui, C.; Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. Congreso: 10th International Workshop on Constraint Modelling and Reformulation (ModRef'11). Co-located with the 17th International Conference on the Principles. Perugia (ITA) 2011. Título: A Proposal for solving weighted CSP with SMT Autores: Ansótegui, C.; Bofill, M.; Palahi, M.; Suy, J.; Villaret, M. Congreso: 1st International Workshop on MiniZinc (MZN 2011). Co-located with the 17th International Conference on the Principles and Practice of Constraint Prog. Perugia (ITA) 2011. Título: W-MiniZinc: A Proposal for Modeling Weighted CSPs with MiniZinc Autores: Ansótegui, C.; Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. Congreso: 41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011). Tuusula (FIN) 2011. Título: Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic Autores: Ansótegui, C.; Bofill, M.; Manyà, F.; Villaret, M. Congreso: 12th International Symposium on Principles and Practice of Declarative Programming (PPDP 2010). Hagenberg (AUT) 2010. Título: A declarative approach to robust weighted Max-SAT Autores: Bofill, M.; Busquets, D.; Villaret, M. Congreso: Thirteenth International Conference on Thirteenth International Conference on Theory and Applications of Satisfiability Testing (SAT) . Edinburgh (ENG) 2010. Título: A System for Solving Constraint Satisfaction Problems with SMT Autores: Bofill, M.; Suy, J.; Villaret, M. Congreso: 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010). Edinburgh (GBR) 2010. Título: A system for solving sonstraint satisfaction problems with SMT Autores: Bofill, M.; Suy, J.; Villaret, M. Congreso: Workshop on Agreement Technologies (WAT 2009). Sevilla (ESP) 2009. Título: Auction robustness through satisfiability modulo theories Autores: Bofill, M.; Busquets, D.; Villaret, M. Congreso: 8th International Workshop on Constraint Modelling and Reformulation (ModRef'09). Lisboa (PRT) 2009. Título: SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format Autores: Bofill, M.; Palahí, M.; Suy, J., Villaret, M. Congreso: IX Jornadas sobre Programación y Lenguajes (PROLE'09). Donostia (ESP) 2009. Título: A system for CSP solving through Satisfiability Modulo Theories Autores: Bofill, M.; Palahí, M.; Villaret, M. Congreso: 16th International Workshop on Unification (UNIF). Copenhagen (DMK) 2002. Título: Parallelism and tree regular constraints Autores: Niehren, J.; Villaret, M. Congreso: 12th International Workshop on Unification (UNIF’98). Roma (ITA) 1998. Título: Complexity study of some classes of context and second-order unification problems Autores: Levy, J.; Villaret, M.