Αποστολή με SMS: New Data Structures and Algorithms for Logic Synthesis and Verification