Laura Guerrero Latorre; Neus Collado; Nerea Abasolo; Gabriel Anzaldi; Sílvia Bofill Mas; Albert Bosch; Lluís Bosch; Sílvia Busquets; Antoni Caimari; Núria Canela; Albert Carcereny; Carme Chacón; Pilar Ciruela; Irene Corbella; "The Catalan Surveillance Network of SARS-CoV-2 in Sewage: design, implementation, and performance." Scientific Reports 12 (2022): -. Bofill, M.; Coll, J.; Giráldez-Cru, J.; Suy, J.; Villaret, M. "The Impact of Implied Constraints on MaxSAT B2B Instances." International Journal Of Computational Intelligence Systems 15 (2022): -. Bofill, M.; Coll J.; Martín, G; Suy J.; Villaret M "The Sample analyzis machine scheduling problem: definition and comparison of exact solving approaches." Computers & Operations Research 142 (2022): -. Bofill, M.; Coll J.; Carcia, M.; Giráldez-Cru, J.; Pesant, G.; Suy, J.; Villaret, M. "Constraint solving approaches to the business-to-business meeting sheduling problem." Journal of Artificial Intelligence Research 74 (2022): 263-301. Bofill, M.; Coll J.; Nightingale P.; Suy J.; Ulrich-Oltean F.; Villaret M "SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints." Artificial Intelligence 302 (2022): -. Bofill, M.; Coll, J.; Suy, J.; Villaret, M. "SMT encodings for Resource-Constrained Project Scheduling Problems." Computers & Industrial Engineering 149 (2020): 106777-. Bofill, M.; Coll, J.; Suy, J.; Villaret, M. "An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations." Artificial Intelligence Review 53 (2020): 5177-5188. Verdaguer, M.; Suy, J.; Villaret, M.; Clara, N.; Bofill, M.; Poch, M. "An exact approach for the prioritization process of industrial influents in wastewater systems." Clean Technologies and Environmental Policy 18 (2016): 339-346. Ansótegui, C.; Bofill, M.; Palahí, M., Suy, J.; Villaret, M. "Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories." Constraints 18 (2013): 236-268. Bofill, M.; Palahí, M., Suy, J.; Villaret, M. "Solving Constraint Satisfaction Problems with SAT Modulo Theories." Constraints 17 (2012): 273-303. X. Pueyo, F. Pérez, J.A. Sellarès, J. Suy "An object-oriented approach for teaching visibility computation algorithms.." Computers and Graphics 20 (1996): 605-610.
Ansótegui, C.; Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. "Satisfiability Modulo Theories: an Efficient Approach for the Resource-Constrained Project Scheduling Problem." Abstraction, Reformulation and Abstraction, 9th Symposium (2011): 2-9. Ansótegui, C.; Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. "A Proposal for Solving Weighted CSPs with SMT." Constraint Modelling and Reformulation, 10th International Workshop (2011): 5-19. Ansótegui, C.; Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. "W-MiniZinc: A Proposal for Modeling Weighted CSPs with MiniZinc." 1st International Workshop on MiniZinc (MZN 2011) (2011): -. Bofill, M.; Suy, J.; Villaret, M. "A system for solving constraint satisfaction problems with SMT." Lecture Notes in Computer Science 6175 (2010): 300-305. Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. "Simply: a Compiler from a CSP Modeling Language to the SMT-LIB Format." Constraint Modelling and Reformulation, 8th International Workshop (2009): 30-44.