Rodrigo Toro Icarte, León Illanes, Margarita P. Castro, André A. Ciré, Sheila A. McIlraith, J. Christopher Beck. Training Binarized Neural Networks Using MIP and CP. In Thomas Schiex, Simon de Givry, editors, Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings. Volume 11802 of Lecture Notes in Computer Science, pages 401-417, Springer, 2019. [doi]
Abstract is missing.