National Technical Univeristy of Athens ▶ School of Electrical and Computer Engineering ▶ Computer Science Division Computation and Reasoning Laboratory