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
Grants
Awarded by EU
Funding Acknowledgements
This work was supported by the EU project FP7-644298 HyVar: Scalable Hybrid Variability for Distributed, Evolving Software Systems