PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation
Lecture notes in computer science, pp. 373–389
Authors 3
-
Leiden University · Microsoft Research Asia (China)
Affiliation as printed
Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands
Microsoft Research, Beijing, China
-
Affiliation as printed
Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands
-
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
Cited by 14 stored of 14
14 results
No patents citing this paper on Lens.org (checked 2026-10-11).