Efficient local search for Pseudo Boolean Optimization
- Author(s):
- Lei, Z.; Cai, S.; Luo, C.; Hoos, H.H. (0000-0003-0629-0099)
- Editor(s):
- Li, C.M.; Manyà, F.
- Published
- 2021
- Publication type
- Article in monograph or in proceedings
- Date issued
- 2021
- Language
- English
- Publisher
- Cham: Springer
- Is part of
- Theory and applications of satisfiability testing – SAT 2021 (2021), Pt. 12831, p. 332-348
- ISBN source
- 9783030802226
- hdl
- 1887/3277265
- doi
- 10.1007/978-3-030-80223-3_23
Conference
- Meeting name
- International Conference on Theory and Applications of Satisfiability Testing SAT 2021
- Meeting location
- Barcelona, Spain
- Meeting date
- 2021-07-05 - 2021-07-09
