SUNNY: a Lazy Portfolio Approach for Constraint Solving

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY: a Lazy Portfolio Approach for Constraint Solving. TPLP, 14(4-5):509-524, 2014. [doi]

Authors

Roberto Amadini

This author has not been identified. Look up 'Roberto Amadini' in Google

Maurizio Gabbrielli

This author has not been identified. Look up 'Maurizio Gabbrielli' in Google

Jacopo Mauro

This author has not been identified. Look up 'Jacopo Mauro' in Google