সর্বাধিক সাম্প্রতিকতম এবং আধুনিকীকরণের সাধারণ জটিলতার জরিপটি সম্ভবত নাথান সেগারলাইন্ডের:
নাথান সেগারলাইন্ড: প্রপোজিশনাল প্রুফগুলির জটিলতা। সিম্বলিক লজিকের বুলেটিন 13 (4): 417-481, 2007 ( http://www.math.ucla.edu/~asl/bsl/1304/1304-001.ps )।
এবং এখন, দুটি নির্লজ্জ স্ব-প্লাগের জন্য সতর্কতা ...
আরও সাম্প্রতিক জরিপ, তবে প্রমাণের আকার, প্রমাণের স্থান এবং আকার-স্থানের বাণিজ্য সম্পর্কিত প্রশ্নগুলির উপর আরও সংকীর্ণভাবে দৃষ্টি নিবদ্ধ করা হ'ল:
জাকব নর্ডস্ট্রম নুড়ি গেমস, প্রুফ জটিলতা এবং সময়-স্থান ট্রেড-অফস। কম্পিউটার বিজ্ঞানে যৌক্তিক পদ্ধতিগুলি, খণ্ড 9, সংখ্যা 3, নিবন্ধ 15, সেপ্টেম্বর 2013 ( http://www.lmcs-online.org/ojs/viewarticle.php?id=674 )।
কিছুটা সাম্প্রতিক কোর্সের কিছু বক্তৃতা নোটও রয়েছে যা আমি প্রমাণ জটিলতার "লো-এন্ড স্পেকট্রাম" দিয়েছিলাম (যেমন, তুলনামূলকভাবে দুর্বল প্রুফ সিস্টেম যেমন রেজোলিউশন, পলিনোমিয়াল ক্যালকুলাস এবং কাটা প্লেন) এবং স্যাট সমাধানের সংযোগগুলি। এই নোটগুলি http://www.csc.kth.se/~jakobn/teaching/proofcplx11/#scribe- নোটগুলিতে পাওয়া যাবে (কিছু এখনও প্রগতিতে রয়েছে তবে যেগুলি পাওয়া যায় সেগুলি ভাল আকারে হওয়া উচিত)।