Treffer 1 – 5 von 5 für Suche 'Warners, Joost P.', Suchdauer: 0,02s 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
    Relaxations of the satisfiability problem using semidefinite programming

    Relaxations of the satisfiability problem using semidefinite programming von Klerk, Etienne de, Maaren, Hans van, Warners, Joost P.

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A linear time transformation of linear inequalities into conjunctive normal form

    A linear time transformation of linear inequalities into conjunctive normal form von Warners, Joost P.

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A two phase algorithm for solving a class of hard satisfiability problems

    A two phase algorithm for solving a class of hard satisfiability problems von Warners, Joost P.

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    The propositional formula checker HeerHugo

    The propositional formula checker HeerHugo von Groote, Jan F., Warners, Joost P.

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Nonconvex continuous models for combinatorial optimization problems with application to satisfiability and node packing problems

    Nonconvex continuous models for combinatorial optimization problems with application to satisfiability and node packing problems von Warners, Joost P.

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: