研究室 · kenkyūshitsu
सॉल्वर लैब
एक पहेली पर हमारे अपने CDCL और DPLL सॉल्वरों की अलग-अलग मोड (ब्रांचिंग ह्यूरिस्टिक, रीस्टार्ट नीतियाँ, सबज़म्प्शन) में रेस कराएँ और splr से तुलना करें।
3 · नतीजे 結果
कुल समय = एन्कोडिंग + हल करना। असंबद्ध हल लेज़ी तरीके से खारिज किए जाते हैं, हर खंडन में एक और SAT कॉल लगती है।
अभी कोई रेस नहीं। 待機中