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