Leiden University Scholarly Publications

Persistent URL of this record https://hdl.handle.net/1887/3277265

Documents

In Collections

This item can be found in the following collections:

Lei, Z.; Cai, S.; Luo, C.; Hoos, H.H. (2021)

Efficient local search for Pseudo Boolean Optimization

Article in monograph or in proceedings
All authors
Lei, Z.; Cai, S.; Luo, C.; Hoos, H.H.
Editor(s)
Li, C.M.; Manyà, F.
Date
2021
Title of host publication
Theory and applications of satisfiability testing – SAT 2021
Pages
332 - 348
ISBN (print)
9783030802226
ISBN (electronic)
9783030802233
DOI
doi:10.1007/978-3-030-80223-3_23

Publication Series

Name
12831

Conference

Conference
International Conference on Theory and Applications of Satisfiability Testing SAT 2021
Date
2021-07-05 - 2021-07-09
Location
Barcelona, Spain