Journal article

SUNNY: a Lazy Portfolio Approach for Constraint Solving

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

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