A Survey on String Constraint Solving von Amadini, Roberto

Volltext

A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing von Amadini, Roberto, Sefrioui, Imane, Mauro, Jacopo, Gabbrielli, Maurizio

Volltext

Dashed strings for string constraint solving von Amadini, Roberto, Gange, Graeme, Stuckey, Peter J.

Volltext

On the Evaluation of (Meta-)solver Approaches von Amadini, Roberto, Gabbrielli, Maurizio, Liu, Tong, Mauro, Jacopo

Volltext

sunny-as2: Enhancing SUNNY for Algorithm Selection von Liu, Tong, Amadini, Roberto, Gabbrielli, Maurizio, Mauro, Jacopo

Volltext

Portfolio approaches in constraint programming von Amadini, Roberto

Volltext

Portfolio approaches for constraint optimization problems von Amadini, Roberto, Gabbrielli, Maurizio, Mauro, Jacopo

Volltext

SUNNY: a Lazy Portfolio Approach for Constraint Solving von AMADINI, ROBERTO, GABBRIELLI, MAURIZIO, MAURO, JACOPO

Volltext

SUNNY-CP and the MiniZinc challenge von AMADINI, ROBERTO, GABBRIELLI, MAURIZIO, MAURO, JACOPO

Volltext

Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers von Amadini, Roberto, Stuckey, Peter J.

Volltext

An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems von Amadini, Roberto, Gabbrielli, Maurizio, Mauro, Jacopo

Volltext

Dashed Strings and the Replace(-all) Constraint von Amadini, Roberto, Gange, Graeme, Stuckey, Peter J.

Volltext

An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems von Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Volltext

A Survey on String Constraint Solving von Amadini, Roberto

Volltext bestellen

Propagating lex, find and replace with Dashed Strings von Amadini, Roberto, Gange, Graeme, Stuckey, Peter J.

Volltext

Propagating Regular Membership with Dashed Strings von Amadini, Roberto, Gange, Graeme, Stuckey, Peter J.

Volltext

Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications von Amadini, Roberto, Gazza, Simone, Soldani, Jacopo, Vitali, Monica, Brogi, Antonio, Forti, Stefano, Giallorenzo, Saverio, Plebani, Pierluigi, Ponce, Francisco, Zavattaro, Gianluigi

Volltext

A Novel Approach to String Constraint Solving von Amadini, Roberto, Gange, Graeme, Stuckey, Peter J., Tack, Guido

Volltext

Constraint Programming for Dynamic Symbolic Execution of JavaScript von Amadini, Roberto, Andrlon, Mak, Gange, Graeme, Schachte, Peter,  Søndergaard, Harald, Stuckey, Peter J.

Volltext

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study von Amadini, Roberto, Gange, Graeme, Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J.

Volltext