Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing* (Q4589206)
From MaRDI portal
scientific article; zbMATH DE number 6804727
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing* |
scientific article; zbMATH DE number 6804727 |
Statements
Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing* (English)
0 references
9 November 2017
0 references
web service composition
0 references
concrete planning
0 references
PlanICS
0 references
SMT
0 references
genetic algorithm
0 references
hybrid algorithm
0 references
simulated annealing
0 references
GEO
0 references
