Translation of satisfiability into German
Noun
mathematics
- The satisfiability of the equation was proven by the mathematician.Die Erfüllbarkeit der Gleichung wurde vom Mathematiker bewiesen.
Synonyms and analogies of satisfiability in English
Examples of satisfiability in a sentence
The satisfiability of logical statements is crucial in computer science.
Translations of "satisfiability" in Context ordered by category and frequency
We discuss satisfiability of bit-vector logics and related problems.
Insbesondere diskutieren wir die Erfüllbarkeit von Bitvektor-Logiken und verwandte Probleme.
Typical problems to solve are the satisfiability of specifications and the minimality of computed configurations.
Dazu gehören etwa die Erfüllbarkeit von Spezifikationen oder die Minimalität der berechneten Konfigurationen.
But sometimes, the structure of the hardware influences the satisfiability of the license requirements.
Allerdings: die technische Struktur der Geräte beeinflusst auch die Erfüllbarkeit der Lizenzen.
algorithms, combinatorics, discrete and computational geometry, satisfiability, randomization and probabilistic methods, combinatorial models for optimization
Algorithmen, Kombinatorik, diskrete und rechnerische Geometrie, Erfüllbarkeit, Randomisierung und probabilistische Methoden, kombinatorische Modelle für Optimierung
satisfiability: Examples and translations in context
A given clause set is transformed into a simplified form where satisfiability is decidable.
Eine gegebene Klausel-Menge wird zunächst in eine vereinfachte Form übersetzt, in der die Erfüllbarkeit entscheidbar ist.
Should individual clauses of these terms of use prove to be invalid, void or unrealizable, so will neither the validity, nor the efficacy, nor the satisfiability of the remaining parts of the terms of use be impaired.
Sollten sich einzelne Bestimmungen dieser Nutzungsbedingungen als ungültig, unwirksam oder unerfüllbar erweisen, so wird dadurch die Gültigkeit, Wirksamkeit und Erfüllbarkeit der übrigen Teile der Nutzungsbedingungen nicht beeinträchtigt.
the re-determined premium is appropriate and necessary in accordance with the amended bases of calculation in order to guarantee the continuous satisfiability of the insurance benefit, and
die nach den berichtigten Rechnungsgrundlagen neu festgesetzte Prämie angemessen und erforderlich ist, um die dauernde Erfüllbarkeit der Versicherungsleistung zu gewährleisten, und
The questions which this thesis addresses is wheter C32SATs functional representation of boolean C expressions can be used to check satisfiability efficiently or not.
Die Frage welche diese Diplomarbeit beantwortet, ist, ob C32SATs funktionale Repräsentation von booleschen Ausdrücken in C verwendet werden kann, um Erfüllbarkeit effizient zu überprüfen, oder nicht.
This transformation of SWRL rules in a knowledge base does not change its satisfiability.
Diese Umformung von Regeln einer SWRL-Wissensbasis verändert ihre Erfüllbarkeit nicht.
Satisfiability Modulo Theories (SMT) refers to the problem of deciding the satisfiability of a first-order formula with respect to one or more first-order theories.
Das "Satisfiability Modulo Theories (SMT)" Problem beschäftigt sich mit der Erfüllbarkeit von Formeln in Prädikatenlogik erster Stufe unter Berücksichtigung einer oder mehrerer Theorien.
See also: