Logic, Optimization & Security
DEPARTMENT of COMPUTER SCIENCE
FACULTY of MATHEMATICS and COMPUTER SCIENCE
UNIVERSITY of BUCHAREST