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

رقم:

مقدم:

كابتشا:

  ______     ___      _  __     ___      ____    
 /_   _//   / _ \\   | |/ //   / _ \\   |  _ \\  
 `-| |,-   / //\ \\  | ' //   | / \ ||  | |_| || 
   | ||   |  ___  || | . \\   | \_/ ||  | .  //  
   |_||   |_||  |_|| |_|\_\\   \___//   |_|\_\\  
   `-`'   `-`   `-`  `-` --`   `---`    `-` --`

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

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