PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation

Lecture notes in computer science, pp. 373–389

Authors 3

1. Chuan Wen Luo corresponding Aachen Leiden Institute of Advanced Computer Science

   Leiden University · Microsoft Research Asia (China)

   Affiliation as printed

   Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands

   Microsoft Research, Beijing, China

2. Holger H. Hoos Aachen Leiden Institute of Advanced Computer Science

   Leiden University

   Affiliation as printed

   Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands

3. Shaowei Cai

   Chinese Academy of Sciences · Institute of Software · State Key Laboratory of Computer Science

   Affiliation as printed

   State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China