Efficient Local Search for Pseudo Boolean Optimization.

Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos

Browse the full SAT paper archive.