Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
8 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

8 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    On the Exact Complexity of Evaluating Quantified k-CNF : IPEC 2010; Parameterized and exact computation
    Calabro, C. ; Impagliazzo, R. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2010, Heft 6478, S. 50-59
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Clause Elimination Procedures for CNF Formulas : Logic for programming, artificial intelligence and reasoning
    Heule, M. ; Jarvisalo, M. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2010, Heft 6397, S. 357-371
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    An Exact Algorithm for the Boolean Connectivity Problem for k-CNF : SAT 2010; Theory and applications of satisfiability - SAT 2010
    Makino, K. ; Tamaki, S. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2010, Heft 6175, S. 172-180
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Beyond CNF: A Circuit-Based QBF Solver : Theory and applications of satisfiability testing
    Goultiaeva, A. ; Iverson, V. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5584, S. 412-426
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    New Encodings of Pseudo-Boolean Constraints into CNF : Theory and applications of satisfiability testing
    Bailleux, O. ; Boufkhad, Y. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5584, S. 181-194
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Solving SAT for CNF Formulas with a One-Sided Restriction on Variable Occurrences : Theory and applications of satisfiability testing
    Johannsen, D. ; Razgon, I. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5584, S. 80-85
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Circuit Based Encoding of CNF Formula : Theory and applications of satisfiability testing
    Audemard, G. ; Sais, L.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2007, Heft 4501, S. 16-21
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Efficient Circuit to CNF Conversion : Theory and applications of satisfiability testing
    Manolios, P. ; Vroon, D.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2007, Heft 4501, S. 4-9
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -