1. 2023. Mixed Integer Distributed Ant Colony Optimization. http://www.midaco-solver.com/ Accessed Sep 2023.
2. Cosmin Avasalcai, Christos Tsigkanos, and Schahram Dustdar. 2019. Decentralized Resource Auctioning for Latency-Sensitive Edge Computing. In 2019 IEEE International Conference on Edge Computing (EDGE). 72--76.
3. Adaptive Management of Volatile Edge Systems at Runtime With Satisfiability;Avasalcai Cosmin;ACM Trans. Internet Technol.,2021
4. Nikolaj BjØrner, Anh-Dung Phan, and Lars Fleckenstein. 2015. VZ - An Optimizing SMT Solver. In Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9035. 194--199.
5. eCaaS