![](/img/cover-not-exists.png)
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability
Cai, Shaowei, Lei, ZhendongJournal:
Artificial Intelligence
DOI:
10.1016/j.artint.2020.103354
Date:
June, 2020
File:
PDF, 884 KB
2020