Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- conjunctive normal form 5 Treffer
- boolean circuit 2 Treffer
- satisfying assignment 2 Treffer
- binary decision diagram 1 Treffer
- boolean formula 1 Treffer
-
19 weitere Werte:
- boolean function 1 Treffer
- conjunctive normal form formula 1 Treffer
- covering code 1 Treffer
- dead node 1 Treffer
- deterministic algorithm 1 Treffer
- fixed-parameter tractability 1 Treffer
- hard instance 1 Treffer
- internal vertex 1 Treffer
- local search 1 Treffer
- minimal vertex cover 1 Treffer
- model check 1 Treffer
- np-completeness 1 Treffer
- propositional logic 1 Treffer
- quadratic formula 1 Treffer
- recursive call 1 Treffer
- satisfiability 1 Treffer
- symbolic model check 1 Treffer
- variable order 1 Treffer
- vertex versus 1 Treffer
7 Treffer
-
2005Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2005Online E-BookZugriff: