Solving weighted maximum satisfiability with branch and bound and clause learning

DOI10.1016/J.COR.2025.107195MaRDI QIDQ6891347zbMATH OpenFDO

Authors Jordi Coll, Chu-Min Li, Shuolin Li, Djamal Habet, Felip Manya

Publication date 2 December 2025

Published in Computers \& Operations Research (Search for Journal in Brave)

zbMATH Keywords

branch-and-bound algorithmcombinatorial optimizationclause learningweighted partial MaxSAT

Mathematics Subject Classification ID

Operations research and management science (90Bxx)

This page was built for publication: Solving weighted maximum satisfiability with branch and bound and clause learning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6891347)