Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Boolean satisfiability
Examples with "Boolean satisfiability" and their translation in Duits
Examples of such algorithms are graph-based analysis and optimization, mapping to Boolean satisfiability, or the use and integration of cryptographic methods at the hardware level.
Beispiele für solche Algorithmen sind grafenbasierte Analyse und Optimierung, die Abbildung auf das Boolesche Erfüllbarkeitsproblem oder die Anwendung und Integration kryptographischer Methoden auf der Hardware-Ebene.
For example, the Boolean satisfiability problem can be reduced to the halting problem by transforming it to the description of a Turing machine that tries all truth value assignments and when it finds one that satisfies the formula it halts and otherwise it goes into an infinite loop.
Beispielsweise lässt sich das Erfüllbarkeitsproblem auf das Halteproblem reduzieren, indem eine Instanz des Erfüllbarkeitsproblems in eine Turingmaschine transformiert wird, die nacheinander alle möglichen Belegungen durchprobiert und hält, sobald eine erfüllende Belegung gefunden ist, andernfalls jedoch in eine Endlosschleife übergeht.
The Cook-Levin theorem states that the Boolean satisfiability problem is NP-complete.
Satz von Cook: Das Erfüllbarkeitsproblem der Aussagenlogik ist NP-vollständig.
Coverity announces a software analysis engine based on Boolean satisfiability and will enable multiple solvers to identify software defects.
Eine neue Version des Testfallgenerators "Conformiq Qtronic" präsentiert Verifysoft.
Thus the transformation is certainly a polynomial-time many-one reduction, as required. Consequences[edit] The proof shows that any problem in NP can be reduced in polynomial time (in fact, logarithmic space suffices) to an instance of the Boolean satisfiability problem.
Anfang der 1970er Jahre zeigten Stephen A. Cook und Leonid Levin unabhängig voneinander, dass es in NP ein Problem gibt, auf das alle anderen Probleme in NP in Polynomialzeit reduziert werden können: das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von englisch satisfiability).
For instance, the Boolean satisfiability problem is NP-complete by the Cook-Levin theorem, so any instance of any problem in NP can be transformed mechanically into an instance of the Boolean satisfiability problem in polynomial time.
Nach einer alternativen Definition ist ein Entscheidungsproblem genau dann in NP, wenn eine gegebene Lösung für das entsprechende Suchproblem von einer deterministischen Turingmaschine in Polynomialzeit überprüft werden kann.
Download (956kB) Abstract The primary subject of this dissertation is practically solving instances of the Boolean satisfiability problem (SAT) that arise from industrial applications.
Im Kern beschäftigt sich diese Dissertation mit dem praktischen Lösen des Erfüllbarkeitsproblems der Aussagenlogik (SAT).
We organize SAT-Race 2010, a competitive event for solvers of the Boolean Satisfiability (SAT) problem.
Wir veranstalten dieses Jahr das SAT-Race 2010, einen Wettbewerb für Programme zur Lösung des aussagenlogischen Erfüllbarkeitsproblems.
Andere resultaten
Some features of this the satisfiability problem regarding boolean formulas in conjunctive normal form.
Diese Arbeit befasst sich mit Worst-Case-Algorithmen für das Erfüllbarkeitsproblem boolescher Ausdrücke in konjunktiver Normalform.
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.
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.
Abstract The Boolean conjunctive normal form (CNF) satisfiability problem, called SAT for short, gets as input a CNF formula and has to decide whether this formula admits a satisfying truth assignment.
Bei dem Booleschen Erfüllbarkeitsproblem für Formeln in konjunktiver Normalform (KNF), kurz SAT genannt, ist eine KNF Formel gegeben und man muss entscheiden, ob diese Formel eine erfüllende Belegung besitzt.
for quantified Boolean formulas (QBF) not only decide the satisfiability of a formula, but also return a set of Skolem functions representing a model for a true QBF.
Moderne Beweiser für quantifizierte boolesche Formeln (QBF) entscheiden nicht nur die Erfüllbarkeit einer Formel, sondern sie liefern auch Skolem-Funktionen, die die Lösungen wahrer Formeln darstellen.
Synoniemen voor Boolean satisfiability in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 15. Exact: 8. Verstreken tijd: 59 ms.
