Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis. The Inductive Constraint Programming Loop. IEEE Intelligent Systems, 32(5):44-52, 2017. [doi]
Abstract is missing.