Solving weighted Maximum Satisfiability with Branch and Bound and clause learning - Coll, Jordi; Li, Chu-Min; Li, Shuolin; Habet, Djamal; Manyà, Felip; Universitat de Girona = University of Girona (UdG); Laboratoire d'Ingénierie des Systèmes (LIS); Université de Caen Normandie (UNICAEN); Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN); Normandie Université (NU); Modélisation, Information et Systèmes - UR UPJV 4290 (MIS); Université de Picardie Jules Verne (UPJV); et al. (ISSN: 0305-0548, 2025)