Treffer 1 – 2 von 2 für Suche 'Rolf, Daniel 1979-', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Algorithms for the satisfiability problem

    Algorithms for the satisfiability problem von Rolf, Daniel 1979-

    Veröffentlicht 2006
    Volltext öffnen
    Abschlussarbeit Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    3-SAT E RTIME(1.32971 n) improving initial assignments for randomized local search for 3-SAT using joint clause pairs

    3-SAT E RTIME(1.32971 n) improving initial assignments for randomized local search for 3-SAT using joint clause pairs von Rolf, Daniel 1979-

    Veröffentlicht 2003
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: