BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Amadini:Roberto

Contributed to:

SAC 20152015
ICLP 20142014
SAC 20142014

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.