Запис о доказима методе
Agent-based Tabu Search
Agent-Based Tabu Search (ABTS) embeds the tabu search metaheuristic inside a multi-agent framework where autonomous agents each run independent or cooperating tabu search threads, sharing promising solutions to escape local optima and collectively explore large combinatorial or continuous search spaces more effectively than a single-thread implementation.
Изворни запис
Цитирани радови су копирани дословно из изворног записа методе. Из њих се не изводи верификација на нивоу тврдње.
Agent-Based Tabu Search — Distributed Multi-Agent Metaheuristic Optimization
Таксономски запис методе · process-pipeline / simulation
- Glover, F. (1989). Tabu search — Part I. ORSA Journal on Computing, 1(3), 190–206. · DOI 10.1287/ijoc.1.3.190
- Verhoeven, M. G. A., Aarts, E. H. L. (1995). Parallel local search. Journal of Heuristics, 1(1), 43–65. · DOI 10.1007/bf02430365
Куроване тврдње
Тврдње су сачуване у регистру доказа, свака са својом проценом.
Још увек нема курованих тврдњи
Овај приказ не измишља процену тврдње када регистар нема ниједну.
Сродне методе
Генерисано из графа метода и приказано као машински предложене везе — не изводи се тврдња доказа.