Coll, J., Li, C.-M., Li, S., Habet, D., Manyà, F., Universitat de Girona = University of Girona (Ud G), 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 I. et S.- U. U. 4. (MIS), Université de Picardie Jules Verne (UPJV), Laboratoire d’Informatique et des Systèmes (LIS) (Marseille, T. (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Artificial Intelligence Research Institute / Spanish Scientific Research Council (IIIA / CSIC), & Universitat Autònoma de Barcelona = Autonomous University of Barcelona = Universidad Autónoma de Barcelona (UAB). (2025). Solving weighted Maximum Satisfiability with Branch and Bound and clause learning. ISSN: 0305-0548. https://doi.org/10.1016/j.cor.2025.107195

COLL, Jordi, LI, Chu-Min, LI, Shuolin, HABET, Djamal, MANYÀ, Felip, Universitat de Girona = University of Girona (Ud G), 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), LABORATOIRE D’INFORMATIQUE ET DES SYSTÈMES (LIS) (MARSEILLE, Toulon) (LIS), AIX MARSEILLE UNIVERSITÉ (AMU)-UNIVERSITÉ DE TOULON (UTLN)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS), ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE / SPANISH SCIENTIFIC RESEARCH COUNCIL (IIIA / CSIC) und Universitat Autònoma de Barcelona = Autonomous University of Barcelona = Universidad Autónoma de Barcelona (UAB), 2025. Solving weighted Maximum Satisfiability with Branch and Bound and clause learning. ISSN: 0305-0548. 1 Januar 2025. DOI 10.1016/j.cor.2025.107195.

Coll, J., C.-M. Li, S. Li, D. Habet, F. Manyà, Universitat de Girona = University of Girona (Ud G), 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 I. et S.- U. U. 4. (MIS), Université de Picardie Jules Verne (UPJV), T. (LIS) Laboratoire d’Informatique et des Systèmes (LIS) (Marseille, Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Artificial Intelligence Research Institute / Spanish Scientific Research Council (IIIA / CSIC), und Universitat Autònoma de Barcelona = Autonomous University of Barcelona = Universidad Autónoma de Barcelona (UAB). „Solving Weighted Maximum Satisfiability With Branch and Bound and Clause Learning“. ISSN: 0305-0548, Januar 2025, https://doi.org/10.1016/j.cor.2025.107195.

Coll, Jordi/Li, Chu-Min/Li, Shuolin/Habet, Djamal/Manyà, Felip/Universitat de Girona = University of Girona (Ud G) u. a.: Solving weighted Maximum Satisfiability with Branch and Bound and clause learning, ISSN: 0305-0548 2025,

Coll, J., Li, C.-M., Li, S., Habet, D., Manyà, F., Universitat de Girona = University of Girona (Ud G), 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 I. et S.- U.U.4. (MIS), Université de Picardie Jules Verne (UPJV), Laboratoire d’Informatique et des Systèmes (LIS) (Marseille, T. (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Artificial Intelligence Research Institute / Spanish Scientific Research Council (IIIA / CSIC) und Universitat Autònoma de Barcelona = Autonomous University of Barcelona = Universidad Autónoma de Barcelona (UAB). (2025), „Solving weighted Maximum Satisfiability with Branch and Bound and clause learning“, ISSN: 0305-0548, verfügbar unter:https://doi.org/10.1016/j.cor.2025.107195.