Efficient Local Search for Pseudo Boolean Optimization

Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos
January 2021
PDF DOI
Type
Conference paper
Publication
SAT2021
Conf