Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
CDCL
Vertaling van "CDCL" in Duits
CDCL
CDCL-Datei
The invention of the conflict-driven clause-learning (CDCL) algorithm led to enormous progress in this field.
Die Entdeckung des Conflict-Driven Clause-Learning (CDCL) Algorithmus führte zu enormen Fortschritten in diesem Bereich.
CDCL has been augmented with effective pre- and inprocessing techniques that boost its effectiveness.
CDCL wurde durch effektive Pre- und Inprocessingtechniken erweitert, welche die Leistungsfähigkeit des Algorithmus erhöhen.
Upon arrival, the lookahead procedure is invoked again or the leaf vertex is solved via CDCL.
Bei Ankunft an einem Blatt wird entweder die Lookahead-Prozedur erneut aufgerufen oder das Blatt wird durch CDCL gelöst.
On the practical side, this implies that the bit-blasting followed by the use of a CDCL (conflict driven clause learning) SAT solver, which is the common approach in state-of-the-art bit-vector solvers, can be exponential.
Für die Praxis bedeuten unsere Resultate, dass der übliche Ansatz von Bitvektor Algorithmen, der "bit-blasting" mit der Verwendung von CDCL (konfliktgesteuerte Klauseln lernende) SAT Algorithmen kombiniert, exponentiell sein kann.
If you are not using CDCL, the plotter SYNC code settings must match the driver SYNC codes.
Wenn Sie CDCL nicht verwenden, müssen die SYNC-Code-Einstellungen des Plotters mit den SYNC-Codes des Treibers übereinstimmen.
Some CalComp devices allow you to define both Colors and Pens in CDCL.
Bei einigen CalComp-Geräten können Sie sowohl Farben als auch Stifte in CDCL definieren.
You can modify the connection parameters, and control color merging and the CalComp Device Control Language (CDCL) through the Custom Properties dialog box provided with the driver.
Im Dialogfeld für die benutzerspezifischen Eigenschaften, das über den Treiber aufgerufen wird, können Sie die Verbindungsparameter ändern sowie die Farbmischung und die CalComp-Gerätesteuerungssprache (CalComp Device Control Language, CDCL) steuern.
An electrorefining process as claimed in claim 24 wherein the metal chloride is AgCl or CdCl 2.
Elektroraffinierungsverfahren gemäß Anspruch 24, worin das Metallchlorid AgCl oder CdCl 2 ist.
The following is an example CDCL file.
Es folgt ein Beispiel für eine CDCL-Datei.
You use CDCL to change the plotter operating parameters.
Mit CDCL können Sie die Betriebsparameter des Plotters verändern.
You can enter multiple CDCL commands by separating them with a semi-colon (;).
Sie können mehrere CDCL-Befehle eingeben, indem Sie die einzelnen Elemente durch ein Semikolon (;) voneinander trennen.
Example 1: multiple CDCL commands
Beispiel 1: Mehrere CDCL-Befehle
To insert a CDCL file into the plot file, specify the path and file name preceded by a less than sign (<).
Sie können eine CDCL-Datei in eine Plotdatei einfügen, indem Sie Pfad und Dateinamen angeben und ein Kleiner-als-Zeichen (<) voranstellen.
Synoniemen voor CDCL in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 23. Exact: 23. Verstreken tijd: 22 ms.
