Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-030-30048-7_8 ◽

2019 ◽

pp. 126-143

Author(s):

Md Solimul Chowdhury ◽

Martin Müller ◽

Jia-Huai You

Download Full-text