Journal article

SUNNY-CP and the MiniZinc challenge

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Theory and Practice of Logic Programming | CAMBRIDGE UNIV PRESS | Published : 2018