Αγγλικά » Γερμανικά

Μεταφράσεις για „satisfiability“ στο λεξικό Αγγλικά » Γερμανικά

(Μετάβαση προς Γερμανικά » Αγγλικά)

Boolean satisfiability problem ΟΥΣ

Καταχώριση χρήστη

Μονόγλωσσα παραδείγματα (μη ελεγχόμενα από το λεξικογραφικό τμήμα)

Αγγλικά
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

Θέλετε να προσθέσετε μια λέξη, φράση ή μετάφραση?

Καταχωρίστε νέο λήμμα.

Σελίδα στα Deutsch | Български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文