# Boosting branch-and-bound MaxSAT solvers with clause learning

> Research article (AI Communications, 2021) · cited 12× · AI/ML

**Wikidata**: [openalex:W4200370415](https://www.wikidata.org/wiki/openalex:W4200370415)  
**Source**: https://4ort.xyz/entity/boosting-branch-and-bound-maxsat-solvers-with-clause-learning