Solving weighted Maximum Satisfiability with Branch and Bound and clause learning
Jordi Coll, Chu-Min Li, Shuolin Li, Djamal Habet, Felip Manyà
| Year of publication: |
2025
|
|---|---|
| Authors: | Coll, Jordi ; Li, Chu-Min ; Li, Shuolin ; Habet, Djamal ; Manyà, Felip |
| Published in: |
Computers & operations research : an international journal. - Amsterdam [u.a.] : Elsevier, ISSN 0305-0548, ZDB-ID 1499736-8. - Vol. 183.2025, Art.-No. 107195, p. 1-13
|
| Subject: | Branch-and-Bound algorithm | Clause learning | Combinatorial optimization | Weighted partial MaxSAT | Theorie | Theory | Mathematische Optimierung | Mathematical programming | Branch-and-Bound | Branch and Bound | Lernprozess | Learning process | Algorithmus | Algorithm | Lernen | Learning |
| Type of publication: | Article |
|---|---|
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Other identifiers: | 10.1016/j.cor.2025.107195 [DOI] |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10015472531