Übersetzung für "Satisfiability" in Deutsch
And
there
are
very
efficient
inference
mechanisms
for
determining
validity
and
satisfiability,
alhough
we
haven't
discussed
them.
Es
gibt
sehr
effiziente
Methoden
um
Rückschlüsse
zu
ziehen
bzgl.
Gültigkeit
und
Erfüllbarkeit
von
Aussagen,
auch
wenn
wir
sie
nicht
diskutiert
haben.
QED v2.0a
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.
ParaCrawl v7.1
The
dependency
web
of
Debian
packages
has
been
converted
into
the
Boolean
satisfiability
problem
(SAT)
so
that
a
normal
resolver
could
find
a
solution.
Der
Abhängigkeitsgraph
der
Debian-Pakete
wurde
in
ein
Boole'sches
Erfüllbarkeitsproblem
(SAT)
umgewandelt,
so
dass
ein
normaler
Lösungsalgorithmus
eine
Lösung
finden
konnte.
ParaCrawl v7.1
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.
ParaCrawl v7.1