The following pages link to Jacopo Mauro (Q276551):
Displaying 16 items.
- Portfolio approaches for constraint optimization problems (Q276552) (← links)
- The expressive power of CHR with priorities (Q388222) (← links)
- Aeolus: a component model for the cloud (Q476172) (← links)
- Self-reconfiguring microservices (Q2026795) (← links)
- On the expressiveness of synchronization in component deployment (Q2026806) (← links)
- Constraints meet concurrency (Q2442869) (← links)
- SUNNY: a Lazy Portfolio Approach for Constraint Solving (Q2931261) (← links)
- On the Complexity of Reconfiguration in Systems with Legacy Components (Q2946354) (← links)
- (Q2974797) (← links)
- Decidability properties for fragments of CHR (Q3585171) (← links)
- SUNNY-CP and the MiniZinc challenge (Q4603429) (← links)
- An Empirical Evaluation of Portfolios Approaches for Solving CSPs (Q4922920) (← links)
- (Q4967159) (← links)
- Component Reconfiguration in the Presence of Conflicts (Q5327433) (← links)
- Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Q5357691) (← links)
- Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges (Q5743603) (← links)