An effective variable selection heuristic in SLS for weighted Max-2-SAT Heuristics 21(3): 433-456 (2015)

Shaowei Cai, Zhong Jie, Kaile Su
January 2015
PDF DOI
Type
Conference paper
Publication
J. Heuristics
Conf