"An effective variable selection heuristic in SLS for weighted Max-2-SAT."

Shaowei Cai, Zhong Jie, Kaile Su (2015)

Details and statistics

DOI: 10.1007/S10732-015-9284-3

access: closed

type: Journal Article

metadata version: 2023-03-17

a service of  Schloss Dagstuhl - Leibniz Center for Informatics