SUNNY: A lazy portfolio approach for constraint solving

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Research output: Contribution to journalJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'SUNNY: A lazy portfolio approach for constraint solving'. Together they form a unique fingerprint.

Computer Science