SAT (सैट)
SAT इसीलिए केवल अध्ययनशील अनुमान लगाने की सिफारिश करता है, ताकि परीक्षार्थी कम से कम एक उत्तर को जिसे वह गलत समझता है, उसे वह निकाल सकता या सकती है। बगैर कोई जवाब काटे सही जवाब देने की संभावना 20% होती है। एक गलत जवाब निकाल देने से यह संभावना 25% बढ जाती है; दो से 33.3%, तीन से 50% सही जवाब चुनने की संभावना होती है और इसलिए प्रश्न में पूरे प्व़ायंट मिल जाते हैं।  संयुक्त राज्य अमेरिका में SAT एक साल में सात बार अक्टूबर, नवंबर, दिसम्बर, जनवरी, मार्च (या अप्रैल, बारी-बारी से), मई और जून में दिया जा सकता है। आमतौर पर परीक्षा नवंबर, दिसम्बर, मई और जून महीने के पहले शनिवार को दी जाती है। अन्य देशों में, SAT संयुक्त राज्य अमेरिका की तरह उसी तारीख को दी जाती है, केवल पहले बसंत (अर्थात मार्च या अप्रैल) की परीक्षा की तारीख को छोड़कर, जो प्रस्तावित नहीं है। वर्ष 2006 में 1,465,744 बार परीक्षा दी गयी।
स्वचालित तर्क
स्वचालित प्रमेय का निर्माण करने के लिए स्वचालित तर्क का सबसे अधिक उपयोग किया जाता है। अक्सर, हालांकि, प्रमेय साबित करने के लिए कुछ मानव मार्गदर्शन की आवश्यकता होती है जो प्रभावी हो और इसलिए आमतौर पर के रूप में योग्य होते हैं। कुछ मामलों में ऐसे प्रमेय एक प्रमेय साबित करने के लिए नए तरीकों के साथ आए हैं। लॉजिक थियोरिस्ट इसका एक अच्छा उदाहरण है। कार्यक्रम प्रिंसिपिया मैथेमेटिका में प्रमेयों में से एक के लिए एक प्रमाण के साथ आया था जो कि व्हाइटहेड और रसेल द्वारा प्रदान किए गए प्रमाण की तुलना में अधिक कुशल (कम चरणों की आवश्यकता) था। औपचारिक तर्क, गणित और कंप्यूटर विज्ञान, , सॉफ्टवेयर और हार्डवेयर सत्यापन, सर्किट डिजाइन, और कई अन्य लोगों में समस्याओं की बढ़ती संख्या को हल करने के लिए स्वचालित तर्क कार्यक्रम लागू किए जा रहे हैं। (Sutcliffe और Suttner 1998) ऐसी समस्याओं का एक पुस्तकालय है जिसे नियमित आधार पर अपडेट किया जाता है। सम्मेलन में नियमित रूप से आयोजित स्वचालित प्रमेय साबित करने वालों के बीच एक प्रतियोगिता भी है (पेल्लेटियर, सुटक्लिफ और सुटनर 2002); प्रतियोगिता के लिए समस्याओं को TPTP लाइब्रेरी से चुना गया है।