研究室 · kenkyūshitsu
مختبر الحلّالات
سابِق لغزًا واحدًا عبر حلّالات CDCL وDPLL الخاصة بنا بأوضاع مختلفة (استدلالات التفرّع، سياسات إعادة البدء، الاحتواء) وقارنها بـ splr.
3 · النتائج 結果
الوقت الكلي هو الترميز مع الحل. تُدحض الحلول غير المتصلة عند الحاجة فقط، وكل دحض يكلّف استدعاء SAT إضافيًا.
لا سباق بعد. 待機中