Satz (SAT çözücü) - Satz (SAT solver)

SatZ iyi biliniyor OTURDU örnek çözücü. Prof. Chu Min Li, bir bilgisayar bilimi araştırmacısı. Z, SAT çözücülerin son versiyonunu ifade eder.

Referanslar

  • Chu Min Li ve Anbulagan: Tatmin Edilebilirlik Sorunları İçin Birim Yayılımına Dayalı Buluşsal Yöntemler. Tutanaklar IJCAI, 366–371, 1997