1. Research Center for Logic, Optimization and Security (LOS), Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest, Bucharest, Romania
2. Simion Stoilow Institute of Mathematics of the Romanian Academy, Bucharest, Romania