SUNNY: a Lazy Portfolio Approach for Constraint Solving

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
January, 2014
PDF Cite DOI URL
Type
Journal article
Publication
TPLP