研究室 · kenkyūshitsu
Çözücü laboratuvarı
Bir bulmacayı kendi CDCL ve DPLL çözücülerimizde farklı modlarla (dallanma sezgiselleri, yeniden başlatma politikaları, kapsama) yarıştır ve splr ile karşılaştır.
3 · Sonuçlar 結果
Toplam süre kodlama artı çözme süresidir. Bağlantısız çözümler gerektikçe reddedilir, her ret bir SAT çağrısı daha demektir.
Henüz yarış yok. 待機中