| Solving constraint satisfaction problems with SAT modulo theories M Bofill, M Palahí, J Suy, M Villaret Constraints, 1-31, 2012 | 61 | 2012 |
| Satisfiability modulo theories: An efficient approach for the resource-constrained project scheduling problem C Ansótegui, M Bofill, M Palahı, J Suy, M Villaret Proceedings of the 9th Symposium on Abstraction, Reformulation and …, 2011 | 45 | 2011 |
| A system for solving constraint satisfaction problems with SMT M Bofill, J Suy, M Villaret Theory and Applications of Satisfiability Testing–SAT 2010: 13th …, 2010 | 34 | 2010 |
| MaxSAT-based scheduling of B2B meetings M Bofill, M Garcia, J Suy, M Villaret Integration of AI and OR Techniques in Constraint Programming: 12th …, 2015 | 32 | 2015 |
| SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format M Bofill, M Palahı, J Suy, M Villaret Proceedings of the 8th international workshop on constraint modelling and …, 2009 | 23 | 2009 |
| SMT encodings for resource-constrained project scheduling problems M Bofill, J Coll, J Suy, M Villaret Computers & Industrial Engineering 149, 106777, 2020 | 19 | 2020 |
| Scheduling B2B meetings M Bofill, J Espasa, M Garcia, M Palahí, J Suy, M Villaret Principles and Practice of Constraint Programming: 20th International …, 2014 | 19 | 2014 |
| Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories C Ansótegui, M Bofill, M Palahí, J Suy, M Villaret Constraints 18, 236-268, 2013 | 19 | 2013 |
| Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems. M Bofill, J Coll, J Suy, M Villaret IJCAI, 555-562, 2017 | 17 | 2017 |
| Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints C Ansótegui, M Bofill, J Coll, N Dang, JL Esteban, I Miguel, P Nightingale, ... Principles and Practice of Constraint Programming: 25th International …, 2019 | 16 | 2019 |
| Solving the multi-mode resource-constrained project scheduling problem with SMT M Bofill, J Coll, J Suy, M Villaret 2016 IEEE 28th international conference on tools with artificial …, 2016 | 16 | 2016 |
| Solving intensional weighted CSPs by incremental optimization with BDDs M Bofill, M Palahí, J Suy, M Villaret Principles and Practice of Constraint Programming: 20th International …, 2014 | 13 | 2014 |
| SAT encodings of pseudo-boolean constraints with at-most-one relations M Bofill, J Coll, J Suy, M Villaret Integration of Constraint Programming, Artificial Intelligence, and …, 2019 | 12 | 2019 |
| A proposal for solving weighted CSPs with SMT C Ansótegui, M Bofill, M Palahı, J Suy, M Villaret Proceedings of the 10th international workshop on constraint modelling and …, 2011 | 12 | 2011 |
| Constraint solving approaches to the business-to-business meeting scheduling problem M Bofill, J Coll, M Garcia, J Giráldez-Cru, G Pesant, J Suy, M Villaret Journal of Artificial Intelligence Research 74, 263-301, 2022 | 10 | 2022 |
| W-MiniZinc: A proposal for modeling weighted CSPs with MiniZinc C Ansótegui, M Bofill, M Palahı, J Suy, M Villaret Proceedings of the 1st International Workshop on MiniZinc (MZN 2011), 2011 | 9 | 2011 |
| An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations M Bofill, J Coll, J Suy, M Villaret Artificial Intelligence Review 53, 5157-5188, 2020 | 8 | 2020 |
| An efficient SMT approach to solve MRCPSP/max instances with tight constraints on resources M Bofill, J Coll, J Suy, M Villaret Principles and Practice of Constraint Programming: 23rd International …, 2017 | 8 | 2017 |
| SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints M Bofill, J Coll, P Nightingale, J Suy, F Ulrich-Oltean, M Villaret Artificial Intelligence 302, 103604, 2022 | 7 | 2022 |
| Boosting weighted csp resolution with shared bdds M Bofill, M Palahı, J Suy, M Villaret Proceedings of the 12th International Workshop on Constraint Modelling and …, 2013 | 4 | 2013 |
Mateu Villaret AuselleUniversitat de GironaDirección de correo verificada de ima.udg.edu
