Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
the satisfiability problem
Vertaling van "the satisfiability problem" in Duits
das Erfüllbarkeitsproblem
A whole bunch of graph coloring problems falls into this class as well as the satisfiability problem.
Eine ganze Reihe von Graphenfärbungs-Problemen fällt in diese Klasse wie auch das Erfüllbarkeitsproblem von boolschen Formeln.
We work on spin glasses, random-field systems, the vertex-cover problem, the satisfiability problem, percolation problems, RNA secondary structures, sequence alignment and large-deviation properties.
Wir untersuchen Spingläser, Zufallsfeldsysteme, das Knotenüberdeckungsproblem, das Erfüllbarkeitsproblem, Perkolationssysteme, RNA Sekundärstrukturen, Sequenzalignment und Extremwertverteilungen.
Still, even for the larger class of so called safely tight formulas, USTCONN can be reduced to the satisfiability problem on related formulas.
Wir zeigen zudem, dass für sogenannte safely-tight Formeln das USTCONN-Problem auf das Erfüllbarkeitsproblem von verwandten Formeln reduziert werden kann.
This thesis considers structural properties that can be used in the design of more efficient algorithms for two highly intractable problems: the satisfiability problem of quantified Boolean formulas (QSAT) and propositional model counting (#SAT).
Die vorliegende Arbeit untersucht konkrete Ausprägungen dieses Strukturbegriffs für zwei äußerst schwierige Probleme: das Erfüllbarkeitsproblem quantifizierter boolescher Formeln (QSAT) und das Abzählproblem von Modellen aussagenlogischer Formeln (#SAT).
Content The satisfiability problem for classical propositional logic (SAT) is the canonical NP-complete problem, therefore algorithms for solving it are of essential importance for theoretical computer science, their development and study forms an entire area of research.
Inhalt Das Erfüllbarkeitsproblem für die Aussagenlogik (SAT) ist das kanonische NP-vollständige Problem, daher sind Algorithmen zu seiner Lösung von wesentlicher Bedeutung für die theoretische Informatik, ihre Entwicklung und Untersuchung bildet einen ganzen eigenen Forschungszweig.
The satisfiability problem of propositional formulas (SAT) is a well-known NP-complete problem.
Das Erfüllbarkeitsproblem der Aussagenlogik (SAT) ist ein sehr bekanntes NP-vollständiges Problem.
In particular, we work in the field of formal specification and verification, model-checking, the satisfiability problem of certain logics, and combinatorial problems of sequential structures.
Insbesondere liegen unsere Forschungsschwerpunkte auf den Gebieten der formalen Spezifikation und Verifikation von Systemen, der Modellprüfung, der Erfüllbarkeitsprobleme diverser Logiken und der Untersuchung kombinatorischer Probleme auf sequenziellen Strukturen.
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 the satisfiability problem in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 42 ms.
