„satisfiability“ kelimesinin çevirisi İngilizce » Almanca sözlüğünde

(Almanca » İngilizce e atla)

Boolean satisfiability problem ISIM

Kullanıcı sözlük maddesi

Boolean satisfiability problem BILIŞIM

Erfüllbarkeitsproblem der Aussagenlogik cinssiz

Tek dilli örnekler (PONS yazı işleri tarafından onaylanmamıştır)

İngilizce

In universal algebra and equational theory, the methods of term rewriting, congruence closure and unification are used to attempt to decide satisfiability.

en.wikipedia.org

Similar reductions to 2-satisfiability have been applied to other geometric placement problems.

en.wikipedia.org