Publications in Venue "CP"
1. | M. Chowdhury, M. Müller, J. You. "Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics". International Conference on Principles and Practice of Constraint Programming (CP), Stamford, USA, (ed: Schiex T., de Givry S.), pp 126-143, September 2019. |