Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Satisfiability
Definitie
Vertaling van "Satisfiability" in Duits
Definitie NEW
Our process is implemented as open source software and tested in two case studies, on the Maximum Satisfiability Problem and the Traveling Salesman Problem.
Unser Prozess wurde als Open-Source-Software implementiert und in zwei Fallstudien, dem Problem der maximalen Erfüllbarkeit und dem Problem des reisenden Verkäufers, getestet.
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
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.
If individual the provisions prove to be invalid, ineffective or unsatisfiable, this should not affect the validity, effectiveness and satisfiability of the remaining parts of the existing provisions.
Sollten sich einzelne der vorliegenden Klauseln als ungültig, unwirksam oder unerfüllbar erweisen, so soll dadurch die Gültigkeit, Wirksamkeit und Erfüllbarkeit der übrigen Teile der vorliegenden Bestimmungen nicht beeinträchtigt werden.
consistency and subsumption problems in knowledge representation (satisfiability tests for suitable logical formalisms, such as modal logics, description logics, or fragments of first-order logic)
Konsistenz- und Subsumtionsprobleme in der Wissenrepräsentation (Erfüllbarkeit in geeigneten logischen Formalismen, z.B. Modallogiken oder Fragmenten der Logik erster Stufe)
The thesis includes also smaller results like the non-compactness of entailment in the propositional fragment as well as a variant of the lifting lemma and the complexity class of propositional satisfiability.
B. die Nichtkompaktheit der Folgerungsrelation im propositionellen Fragment sowie eine Variante des Hebelemmas und die Komplexitätsklasse der propositionellen Erfüllbarkeit.
In this work we present complexity-sensitive reductions or encodings of some of the main reasoning tasks defined for ADFs with respect to some of the major semantics into the satisfiability problem of quantified boolean logic (QSAT).
In dieser Arbeit präsentieren wir Reduktionen, oder Kodierungen, von einigen der Schlussweisen in ADFs für die wichtigsten Semantiken auf das Problem der Erfüllbarkeit von quantifizierten booleschen Formeln (QSAT), welche die Komplexität der ursprünglichen Probleme berücksichtigen.
Synoniemen voor Satisfiability in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 50. Exact: 44. Verstreken tijd: 171 ms.
