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