Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
104 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

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Sprache

104 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    The TPTP Problem Library and Associated Infrastructure: From CNF to TH0, TPTP v6.4.0
    Sutcliffe, Geoff
    In: Journal of Automated Reasoning, 2017-02-17, S. 1-20
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Simulating Circuit-Level Simplifications on CNF
    Järvisalo, Matti ; Biere, Armin ; et al.
    In: Journal of Automated Reasoning, Jg. 49 (2012-12-01), Heft 4, S. 583-619
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    The TPTP Problem Library and Associated Infrastructure: The FOF and CNF Parts, v3.5.0
    Sutcliffe, Geoff
    In: Journal of Automated Reasoning, Jg. 43 (2009-12-01), Heft 4, S. 337-362
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Proving Unsatisfiability of CNFs Locally
    Goldberg, E.
    In: JOURNAL OF AUTOMATED REASONING, Jg. 28 (2002), Heft 4, S. 417-434
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    The TPTP Problem Library - CNF Release v1.2.1
    Sutcliffe, G. ; Suttner, C.
    In: JOURNAL OF AUTOMATED REASONING, Jg. 21 (1998), Heft 2, S. 177-203
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates
    Ramesh, Anavai ; Becker, George ; et al.
    In: Journal of Automated Reasoning, Jg. 18 (1997-06-01), Heft 3, S. 337-356
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Simulating Circuit-Level Simplifications on CNF
    Järvisalo, Matti ; Biere, Armin ; et al.
    In: Journal of Automated Reasoning, Jg. 49 (2011-11-03), S. 583-619
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution
    GWYNNE, Matthew ; KULLMANN, Oliver
    In: Journal of automated reasoning, Jg. 52 (2014), Heft 1, S. 31-65
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    SMELS: Satisfiability Modulo Equality with Lazy Superposition
    LYNCH, Christopher ; TA, Quang-Trung ; et al.
    In: Journal of automated reasoning, Jg. 51 (2013), Heft 3, S. 325-356
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Invariant-Free Clausal Temporal Resolution
    GAINTZARAIN, Jose ; HERMO, Montserrat ; et al.
    In: Journal of automated reasoning, Jg. 50 (2013), Heft 1, S. 1-49
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Cutting to the Chase: Solving Linear Integer Arithmetic
    JOVANOVIC, Dejan ; DE MOURA, Leonardo
    In: Special Issue on Selected Extended Papers of CADE-23, Jg. 51 (2013), Heft 1, S. 79-108
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  13. Detailansicht für Treffer 13 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  14. Detailansicht für Treffer 14 öffnen
    The TPTP Problem Library and Associated Infrastructure.
    Sutcliffe, Geoff
    In: Journal of Automated Reasoning, Jg. 43 (2009-12-01), Heft 4, S. 337-362
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    The Complexity of Pure Literal Elimination.
    Johannsen, Jan
    In: Journal of Automated Reasoning, Jg. 35 (2005-10-06), Heft 1-3, S. 89-95
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  17. Detailansicht für Treffer 17 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  18. Detailansicht für Treffer 18 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  19. Detailansicht für Treffer 19 öffnen
    Solution Validation and Extraction for QBF Preprocessing.
    Heule, Marijn ; Seidl, Martina ; et al.
    In: Journal of Automated Reasoning, Jg. 58 (2017), Heft 1, S. 97-125
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Dealing with Satisfiability and n-ary CSPs in a Logical Framework.
    Benhamou, Belaïd ; Paris, Lionel ; et al.
    In: Journal of Automated Reasoning, Jg. 48 (2012-03-01), Heft 3, S. 391-417
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -