26/04/2021
وأخيراً، وبعد سنوات من المعاناة بأحد أسوأ الأماكن بالعالم، وبعد العديد من الخيبات والانقطاعات ثم الاستمرار، قدر معهدنا يرجع يوقف على رجليه من خلال مجموعة من الطلاب المحاربين القدماء فيه، يلي أصرّوا يكملوا الطريق، وقدرنا فعلاً نصل للهدف النهائي منو وهو تخريج باحثين حقيقيين.
اليوم، كمية الفخر والسعادة يلي غامرتني لا توصف، لما بشوف إنو هالمجموعة من الطلاب نشروا أول ورقة بحثية إلهن. صحيح إنو الورقة لم تحكّم بعد إنما لازالت بطريقها للتحكيم، وهي أول محاولة متواضعة إلهن، وهي رابطها:
https://arxiv.org/abs/2104.11233
ولكن الوصول لهون كان هو رؤية وطموح وهدف المعهد، يلي ما حدا صدق إنو ممكن نصلّو بالأول، وحتى نحنا مرّينا بلحظات حالكة خلتنا نشكك بهالشي كمان نتيجة حجم العقبات بهالبلد!
ولكن اليوم، كل شي تغير لما إجى الإثبات إنو حققنا هالهدف وفعلاً خرّج المعهد باحثين حقيقيين، ولو بيعرفوا الناس مدى بساطة الإمكانيات وغياب أي دعم مالي كانوا ما بصدقوا إنو وصلنا لهون!
الأعزاء حازم الخطيب وعدي الحناوي ومجد بحصاص ورواد حاتم:
ما بتتصوروا مدى فخرنا فيكن اليوم، وفخرنا بكل طالب لازال مستمر بالمعهد لهلق (ولازال في طلاب ومتأملين إلهن يلحقوكن) وبكل طالب لازال متشرب الرؤية تبع المعهد حتى لو الظروف أجبرتو يترك.
وحابين نهني مؤسسي المعهد إنو وأخيراً شفتوا الحلم صار حقيقة!
وبالنهاية عنا أمل إنو هالورقة رح تكون الأولى بسلسلة طويلة من الأوراق، لأن وأخيراً وصلنا للمرحلة يلي صار المعهد فيها عندو فريقو البحثي الملتزم!
The following paper proposes a new approach to determine whether a logical (CNF) formula is satisfiable or not using probability theory methods. Furthermore, we will introduce an algorithm that speeds up the standard solution for (CNF-SAT) in some cases. It is known that any (CNF) formula is solved....
