Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
эвристика
Связанные издания:
Abstraction, Reformulation and Approximation: Proc./6th International Symposium, SARA 2005. Airth Castle, Scotland, UK, July 2005
Abstraction, Reformulation, and Approximation: Proc./7th International Symposium, SARA 2007, Whistler,Canada,July 2007
Adapting an AI Planning Heuristic for Directed Model Checking
Algorithms - ESA 2014: Proc./22nd Annual European Symposiym, Wroclaw, Poland, September 2014
Coloring Semirandom Graphs Optimally
Compositional and Quantitative Model Checking (Extended Abstract)
Computational Intelligence in Music, Sound, Art and Design: Proc./6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 2017
Computational Logistics: Proc./5th International Conference, ICCL 2014, Valparaiso, Chile, September 2014
Computers and Games: Revised Selected Papers/7th International Conference, CG 2010, Kanazawa, Japan, September 2010
Effectiveness of Heuristics and Simulated Annealing for the Scheduling of Concurrent Tasks - An Empirical Comparison
Engineering Stochastic Local Search Algorithms: Designing, Implementing and Analyzing Effective Heuristics: Proc./International Workshop, SLS 2007. Brussels, Belgium, September 2007
Evolutionary Multi-Criterion Optimization: Proc./6th International Conference, EMO 2011, Ouro Preto, Brazil, April 2011
Experimental Algorithms: Proc./9th International Symposium, SEA 2010, Ischia Islend, Naples, Italy, May 2010
Frontiers in Algorithmics: Proc./Third International Workshop, FAW 2009. Hefei, China, June 2009
Hybrid Metaheuristic: Proc./6th International Worcshop, HM 2009, Udine, Italy, October 2009
Hypercube Embedding Heuristics: An Evaluation
Iterative-improvement-based declustering heuristics for multi-task databases
Model Checking Software: Proc./22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 2015
New Frontiers in Mining Complex Patterns: Revised Selected Papers/5th International Workshop, NFMCP 2016 Held in Conjunction with ECML-PKDD 2016, Riva del Garda, Italy, September 2016
Parallel Problem Solving from Nature - PPSN XIII: Proc./13th International Conference, Ljubljana, Slovenia, September 2014
PRICAI 2014: Trends in Artifical Intelligence: Proc./13th Pacific Rim International Conference on AI, Gold Coast,QLD,Australia, December 2014
Principles and Practice of Constraint Programming - CP 2010: Proc./16th International Conference, CP 2010, St.Andrews, Scotland, September 2010
Smart Game Board и Go Explorer: пример взаимодействия программной инженерии и инженерии знаний
Testing Software and Systems: Proc./28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 2016
The Chaining Approach for Software Test Data Generation
Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition