CADE ATP System Competition
سی اے ڈی ای اے ٹی پی سسٹم کمپٹیشن (سی اے ایس سی) کلاسیکی منطق کے لیے مکمل طور پر خودکار تھیوریم پروورز کا سالانہ مقابلہ ہے۔ سی اے ایس سی خودکار کٹوتی پر کانفرنس اور ایسوسی ایشن فار آٹومیٹڈ ریزنگ کے زیر اہتمام خودکار استدلال پر بین الاقوامی مشترکہ کانفرنس سے وابستہ ہے۔ اس نے متعلقہ شعبوں میں اسی طرح کے مقابلے کو متاثر کیا ہے، خاص طور پر اطمینان بخش ماڈیولو نظریات کے لیے کامیاب ایس ایم ٹی-سی او ایم پی مقابلہ، تجویز کردہ استدلال کاروں کے لیے ایس اے ٹی مقابلہ، اور موڈل منطق استدلال مقابلہ۔ پہلا سی اے ایس سی، سی اے ایس سی-13، 1996 میں رٹگرز یونیورسٹی، نیو برنزوک، این جے میں خودکار کٹوتی پر 13 ویں کانفرنس کے حصے کے طور پر منعقد ہوا تھا۔ مقابلہ کرنے والے نظاموں میں اوٹر اور سیتیو شامل تھے۔ کمپیوٹر سائنس ایوارڈز کی فہرست بھی دیکھیں حوالہ جات بیرونی لنکس اصل سی اے ایس سی ویب سائٹ کا آرکائیو سی اے ایس سی ویب سائٹ مصنوعی ذہانت کے مقابلے کمپیوٹر سائنس مقابلے