Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- conjunctive normal form 4 Treffer
- boolean formula 2 Treffer
- asymptotic growth 1 Treffer
- auxiliary variable 1 Treffer
- boolean function 1 Treffer
-
32 weitere Werte:
- boundary points 1 Treffer
- cardinality constraint 1 Treffer
- circuit representation 1 Treffer
- conjunctive normal form formula 1 Treffer
- critical ratio 1 Treffer
- empty clause 1 Treffer
- empty state 1 Treffer
- exact algorithm 1 Treffer
- hybridization network 1 Treffer
- input line 1 Treffer
- internal line 1 Treffer
- internal vertex 1 Treffer
- lateral gene transfer 1 Treffer
- local search algorithm 1 Treffer
- multiagent system 1 Treffer
- np-completeness 1 Treffer
- output line 1 Treffer
- partial assignment 1 Treffer
- polynomial time reduction 1 Treffer
- power index 1 Treffer
- pseudo-boolean 1 Treffer
- reduction rule 1 Treffer
- resolution 1 Treffer
- resolution proof 1 Treffer
- satisfiability 1 Treffer
- satisfying assignment 1 Treffer
- sat-solver 1 Treffer
- sorting network 1 Treffer
- success probability 1 Treffer
- truth assignment 1 Treffer
- unit clause 1 Treffer
- unit propagation 1 Treffer
10 Treffer
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff: