Two papers from the Constraint Reasoning and Optimization group have been accepted for inclusion in Proceedings of Journal of Machine Learning Research and for oral presentation at PGM 2018, 9th ...