Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Management Science and Operations Research,Control and Optimization,Computer Networks and Communications,Information Systems,Software
Reference59 articles.
1. Adenzo, B., Laguna, B.: Fine-tuning of algorithms using fractional experiment design and local search. Oper. Res. 54, 99–114 (2006)
2. Amparo, S., Angel, A.J., Renatas, K.: A Survey on finantial applications of metaheuristics. ACM Comput. Surv. (CSUR) 50(1), 5 (2017)
3. Azimi, Z.N.: Comparison of meta-heuristic algorithms for examination timetabling problem. J. Appl. Math. Comput. 16(1–2), 337–354 (2004)
4. Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 193–207 (1997)
5. Biere, A., Heule, M., Maaren, H., Walsh, T.: Handbook of Satisfiability. In: Frontiers in Artificial Intelligence and Applications, vol. 185 (2009)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献