C.  Bessiere, De Raedt, L., Guns, T., Kotthoff, L., Nanni, M., Nijssen, S., O'Sullivan, B., Paparrizou, A., Pedreschi, D., and Simonis, H., ?The Inductive Constraint Programming Loop?, IEEE Intelligent Systems, 2017.