Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- formula cnf 21 Treffer
- constraint satisfaction 19 Treffer
- informatique theorique 19 Treffer
- logica proposicional 19 Treffer
- logique propositionnelle 19 Treffer
-
45 weitere Werte:
- propositional logic 19 Treffer
- satisfaccion restriccion 19 Treffer
- satisfaction contrainte 19 Treffer
- theoretical computing 19 Treffer
- fonctions logiques, booleennes et de commutation 15 Treffer
- logical, boolean and switching functions 15 Treffer
- satisfiability 14 Treffer
- satisfactibilidad 10 Treffer
- satisfiabilite 10 Treffer
- artificial intelligence 5 Treffer
- backtracking 5 Treffer
- boolean logic 5 Treffer
- intelligence artificielle 5 Treffer
- logica booleana 5 Treffer
- logique booleenne 5 Treffer
- algorithme recherche 4 Treffer
- algoritmo busqueda 4 Treffer
- polynomial time 4 Treffer
- problem solving 4 Treffer
- resolucion problema 4 Treffer
- resolution probleme 4 Treffer
- satisfactoriabilidad 4 Treffer
- satisfaisabilite 4 Treffer
- search algorithm 4 Treffer
- temps polynomial 4 Treffer
- tiempo polinomial 4 Treffer
- algorithm analysis 3 Treffer
- algorithme deterministe 3 Treffer
- algorithmics. computability. computer arithmetics 3 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 3 Treffer
- analisis algoritmo 3 Treffer
- analyse algorithme 3 Treffer
- approche probabiliste 3 Treffer
- arbol investigacion 3 Treffer
- arbre recherche 3 Treffer
- deterministic algorithms 3 Treffer
- enfoque probabilista 3 Treffer
- methode cas pire 3 Treffer
- metodo caso peor 3 Treffer
- probabilistic approach 3 Treffer
- problem solving, game playing 3 Treffer
- resolution de problemes, jeux 3 Treffer
- search tree 3 Treffer
- worst case method 3 Treffer
- algorithm complexity 2 Treffer
Publikation
- lecture notes in computer science 22 Treffer
- sat 2004 : theory and applications of satisfiability testing (vancouver bc, 10-13 may 2004, revised selected papers) 4 Treffer
- theory and applications of satisfiability testing (st andrews, 19-23 june 2005) 4 Treffer
- theory and applications of satisfiability testing (santa margherita ligure, 5-8 may 2003, selected revised papers) 3 Treffer
- cp 2004 : principles and practice of constraint programming (toronto on, 27 september - 1 october 2004) 2 Treffer
-
12 weitere Werte:
- 0isaac 2005 1 Treffer
- algorithmica 1 Treffer
- algorithms - esa 2005 (13th annual european sympoisum, palma de mallorca, sapin, october 3-6, 2005, proceedings) 1 Treffer
- algorithms and computation (16th international symposium, isaac 2005, sanya, hainan, china, december 19-21, 2005) 1 Treffer
- approximation, randomization, and combinatorial optimization (algorithms and techniques) 1 Treffer
- cp 2002 : principles and practice of constraint programming - cp 2002 (ithaca ny, 9-13 september 2002) 1 Treffer
- cp 2003 : principles and practice of constraint programming (kinsale, 29 september - 3 october 2003) 1 Treffer
- innovations in applied artificial intelligence (bari, 22-24 june 2005) 1 Treffer
- lpar 2004 : logic for programming, artificial intelligence, and reasoning (montevideo, 14-18 march 2005) 1 Treffer
- principles and practice of constraint programming - cp 2005 (11th international conference, cp 2005, sitges, spain, october 1-5, 2005, proceedings) 1 Treffer
- stacs 2004 (montpellier, 25-27 march 2004) 1 Treffer
- trends in artificial intelligence (auckland, 9-13 august 2004) 1 Treffer
Sprache
24 Treffer
-
In: Principles and practice of constraint programming - CP 2005 (11th international conference, 2005, S. 827-831KonferenzZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 157-172KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (Santa Margherita Ligure, 5-8 May 2003, selected revised papers), 2004, S. 172-187KonferenzZugriff:
-
In: Approximation, randomization, 2004, S. 417-425KonferenzZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 251-262KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (St Andrews, 19-23 June 2005), 2005, S. 173-186KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (St Andrews, 19-23 June 2005), 2005, S. 122-134KonferenzZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 183-198KonferenzZugriff:
-
In: Algorithms and computation (16th international symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005), 2005, S. 644-653KonferenzZugriff:
-
In: Algorithms - ESA 2005 (13th annual European sympoisum, Palma de Mallorca, Sapin, October 3-6, 2005, S. 107-118KonferenzZugriff:
-
In: Innovations in applied artificial intelligence (Bari, 22-24 June 2005), 2005, S. 681-684KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (St Andrews, 19-23 June 2005), 2005, S. 324-339KonferenzZugriff:
-
In: STACS 2004 (Montpellier, 25-27 March 2004), 2004, S. 317-325KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (Santa Margherita Ligure, 5-8 May 2003, selected revised papers), 2004, S. 341-355KonferenzZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 276-291KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (St Andrews, 19-23 June 2005), 2005, S. 257-268KonferenzZugriff:
-
In: LPAR 2004 : logic for programming, artificial intelligence, and reasoning (Montevideo, 14-18 March 2005), 2005, S. 36-50KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (Santa Margherita Ligure, 5-8 May 2003, selected revised papers), 2004, S. 150-161KonferenzZugriff:
-
In: CP 2004 : principles and practice of constraint programming (Toronto ON, 27 September - 1 October 2004), 2004, S. 742-746KonferenzZugriff:
-
In: Trends in artificial intelligence (Auckland, 9-13 August 2004), 2004, S. 173-182KonferenzZugriff: