Login / Signup
Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics.
Md. Solimul Chowdhury
Martin Müller
Jia-Huai You
Published in:
CP (2019)
Keyphrases
</>
sat solvers
evolutionary algorithm
constraint satisfaction