The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Roberto Amadini" ( http://dblp.L3S.de/Authors/Roberto_Amadini )

URL (Homepage):  https://orcid.org/0000-0003-1668-7305  Author page on DBLP  Author page in RDF  Community of Roberto Amadini in ASPL-2

Publication years (Num. hits)
2012-2015 (19) 2016-2019 (15)
Publication types (Num. hits)
article(14) inproceedings(19) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(6) CP(3) CPAIOR(3) TPLP(3) IJIMAI(2) LION(2) LOPSTR(2) SAC(2) AAAI(1) Ann. Math. Artif. Intell.(1) CILC(1) Constraints(1) DCAI(1) Fundam. Inform.(1) ICTAI(1) IJCAI(1) More (+10 of total 18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 35 publication records. Showing 34 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Constraint Programming for Dynamic Symbolic Execution of JavaScript. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang Reference Abstract Domains and Applications to String Analysis. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY-CP and the MiniZinc challenge. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey Propagating lex, find and replace with Dashed Strings. Search on Bibsonomy CPAIOR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey Sweep-Based Propagation for String Constraint Solving. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey Propagating Regular Membership with Dashed Strings. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY-CP and the MiniZinc Challenge. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tong Liu, Roberto Amadini, Jacopo Mauro SUNNY with Algorithm Configuration. Search on Bibsonomy OASC The full citation details ... 2017 DBLP  BibTeX  RDF
1Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang Combining String Abstract Domains for JavaScript Analysis: An Evaluation. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack A Novel Approach to String Constraint Solving. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro Portfolio approaches for constraint optimization problems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack MiniZinc with Strings. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. Search on Bibsonomy IJIMAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro Parallelizing Constraint Solvers for Hard RCPSP Instances. Search on Bibsonomy LION The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack MiniZinc with Strings. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY-CP 2: a Parallel CP Portfolio Solver. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Roberto Amadini Portfolio approaches in constraint programming. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY-CP: a sequential CP portfolio solver. Search on Bibsonomy SAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro SUNNY for algorithm selection: a preliminary study. Search on Bibsonomy CILC The full citation details ... 2015 DBLP  BibTeX  RDF
1Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro Feature Selection for SUNNY: A Study on the Algorithm Selection Library. Search on Bibsonomy ICTAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. Search on Bibsonomy LOPSTR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro A Multicore Tool for Constraint Solving. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Roberto Amadini Portfolio Approaches in Constraint Programming. (Portfolio approches dans la Programmation par contraintes). Search on Bibsonomy 2015   RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY: a Lazy Portfolio Approach for Constraint Solving. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro An enhanced features extractor for a portfolio of constraint solvers. Search on Bibsonomy SAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro Portfolio Approaches for Constraint Optimization Problems. Search on Bibsonomy LION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Peter J. Stuckey Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro Features for Building CSP Portfolio Solvers. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing. Search on Bibsonomy IJIMAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roberto Amadini Evaluation and Application of Portfolio Approaches in Constraint Programming. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro An Empirical Evaluation of Portfolios Approaches for Solving CSPs. Search on Bibsonomy CPAIOR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli Fast Post-Disaster Emergency Vehicle Scheduling. Search on Bibsonomy DCAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro An Empirical Evaluation of Portfolios Approaches for solving CSPs Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
Displaying result #1 - #34 of 34 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license