TY - RPRT TI - The Inductive Constraint Programming Loop AU - Christian Bessiere AU - Luc De Raedt AU - Tias Guns AU - Lars Kotthoff AU - Mirco Nanni AU - Siegfried Nijssen AU - Barry O'Sullivan AU - Anastasia Paparrizou AU - Dino Pedreschi AU - Helmut Simonis PY - 2015 UR - https://arxiv.org/abs/1510.03317 ID - 1510.03317 ER -