أرسل هذا في رسالة قصيرة

رقم:

مقدم:

كابتشا:

  _____    __   __   __   __    _____     _____   
 / ____||  \ \\/ //  \ \\/ //  |  ___||  / ____|| 
/ //---`'   \ ` //    \   //   | ||__   / //---`' 
\ \\___      | ||     / . \\   | ||__   \ \\___   
 \_____||    |_||    /_//\_\\  |_____||  \_____|| 
  `----`     `-`'    `-`  --`  `-----`    `----`

يرجى إدخال ما تراه::

أرسل هذا في رسالة قصيرة: Incremental satisfiability counting for real-time systems