Shaowei Cai, Zhendong Lei. Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability. Artificial Intelligence, 287:103354, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.