Irene Unceta; Bernat Salbanya; Jordi Coll; Mateu Villaret; Jordi Nin "Optimizing resource allocation in home care services using MaxSAT." Cognitive Systems Research (2024): -. Jordi Coll; Chu-Min Li; Felip Manyà; Elifnaz Yangin "MaxSAT resolution for regular propositional logic." International Journal of Approximate Reasoning (2023): -. 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): -. Li, C.M.; Xu, Z.; Coll J.; Manyà, F.; Habet, D.; He, K. "Boosting branch-and-bound MaxSAT solvers with clause learning." AI Communications (2021): -. 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.