Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability. Artif. Intell. 287: 103354 (2020)

Shaowei Cai, Zhendong Lei
January 2020
PDF DOI
Type
Conference paper
Publication
Artificial Intelligence
Conf