মোনাডিক ফার্স্ট অর্ডার লজিক, যিনি সিদ্ধান্ত সমস্যার মোনাডিক ক্লাস হিসাবেও পরিচিত, যেখানে সমস্ত পূর্বাভাসকারী একটি যুক্তি গ্রহণ করে। এটি অ্যাকারম্যান দ্বারা নির্ধারণযোগ্য হিসাবে দেখানো হয়েছিল এবং এটি এনএক্সপিটাইম-সম্পূর্ণ ।
তবে, তাত্ত্বিক সীমাবদ্ধতা থাকা সত্ত্বেও SAT এবং SMT এর মতো সমস্যার সমাধানের জন্য দ্রুত অ্যালগরিদম রয়েছে ms
আমি ভাবছি, একাকী প্রথম অর্ডার যুক্তির জন্য স্যাট / এসএমটি-এর সমতুল্য গবেষণা রয়েছে? এক্ষেত্রে "শিল্পের রাজ্য" কী, এবং এমন কোনও অ্যালগরিদম রয়েছে যা সবচেয়ে খারাপ ক্ষেত্রে তাত্ত্বিক সীমাটি আঘাত করেও অনুশীলনে দক্ষ?