Efficient Local Search for Pseudo Boolean Optimization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos. Efficient Local Search for Pseudo Boolean Optimization. In Chu Min Li, Felip Manyà, editors, Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings. Volume 12831 of Lecture Notes in Computer Science, pages 332-348, Springer, 2021. [doi]

This author has not been identified. Look up 'Zhendong Lei' in GoogleThis author has not been identified. Look up 'Shaowei Cai' in GoogleThis author has not been identified. Look up 'Chuan Luo' in GoogleThis author has not been identified. Look up 'Holger H. Hoos' in Google

runs on WebDSL