PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation PPSN (1) 2020: 373-389

Chuan Luo, Holger H. Hoos, Shaowei Cai
January 2020
PDF DOI
Type
Conference paper
Publication
PPSN2020
Conf