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

رقم:

مقدم:

كابتشا:

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

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

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