Travelled to:1 × South Korea
1 × Spain
Collaborated with:M.Gabbrielli J.Mauro
Talks about:portfolio (3) constraint (2) solver (2) sunni (2) extractor (1) sequenti (1) approach (1) featur (1) enhanc (1) solv (1)
Person: Roberto Amadini
DBLP: Amadini:Roberto
Contributed to:
2015
20142014Wrote 3 papers:
- SAC-2015-AmadiniGM #named
- SUNNY-CP: a sequential CP portfolio solver (RA, MG, JM), pp. 1861–1867.
- ICLP-J-2014-AmadiniGM #approach #constraints #lazy evaluation #named #theorem proving
- SUNNY: a Lazy Portfolio Approach for Constraint Solving (RA, MG, JM), pp. 509–524.
- SAC-2014-AmadiniGM #constraints #theorem proving
- An enhanced features extractor for a portfolio of constraint solvers (RA, MG, JM), pp. 1357–1359.