English » German

Translations for „satisfiability“ in the English » German Dictionary (Go to German » English)

Boolean satisfiability problem N

User Entry

Monolingual examples (not verified by PONS Editors)

English
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

Would you like to add some words, phrases or translations?

Submit a new entry.

Choose your language Deutsch | български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文