Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- formula cnf 92 Treffer
- informatique theorique 75 Treffer
- theoretical computing 75 Treffer
- constraint satisfaction 67 Treffer
- satisfaccion restriccion 67 Treffer
-
45 weitere Werte:
- satisfaction contrainte 67 Treffer
- logica proposicional 65 Treffer
- logique propositionnelle 65 Treffer
- propositional logic 65 Treffer
- satisfiability 60 Treffer
- fonctions logiques, booleennes et de commutation 49 Treffer
- logical, boolean and switching functions 49 Treffer
- satisfactibilidad 41 Treffer
- satisfiabilite 41 Treffer
- artificial intelligence 23 Treffer
- intelligence artificielle 23 Treffer
- boolean logic 22 Treffer
- logica booleana 22 Treffer
- logique booleenne 22 Treffer
- problema satisfactibilidad 22 Treffer
- probleme satisfiabilite 22 Treffer
- satisfiability problem 22 Treffer
- algorithmics. computability. computer arithmetics 21 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 21 Treffer
- program verification 20 Treffer
- verificacion programa 20 Treffer
- verification programme 20 Treffer
- inteligencia artificial 19 Treffer
- logiciel 19 Treffer
- software 19 Treffer
- satisfactoriabilidad 18 Treffer
- satisfaisabilite 18 Treffer
- modeling 14 Treffer
- modelisation 14 Treffer
- modelizacion 14 Treffer
- heuristic method 13 Treffer
- methode heuristique 13 Treffer
- metodo heuristico 13 Treffer
- model checking 12 Treffer
- verification modele 12 Treffer
- backtracking 11 Treffer
- binary decision diagram 11 Treffer
- diagrama binaria decision 11 Treffer
- diagramme binaire decision 11 Treffer
- borne superieure 10 Treffer
- cota superior 10 Treffer
- genie logiciel 10 Treffer
- logical programming 10 Treffer
- programacion logica 10 Treffer
- programmation logique 10 Treffer
Publikation
- lecture notes in computer science 75 Treffer
- theory and applications of satisfiability testing (st andrews, 19-23 june 2005) 11 Treffer
- theory and applications of satisfiability testing (santa margherita ligure, 5-8 may 2003, selected revised papers) 10 Treffer
- sat 2004 : theory and applications of satisfiability testing (vancouver bc, 10-13 may 2004, revised selected papers) 9 Treffer
- cp 2004 : principles and practice of constraint programming (toronto on, 27 september - 1 october 2004) 4 Treffer
-
45 weitere Werte:
- journal of automated reasoning 4 Treffer
- 0cav 2006 3 Treffer
- 0lpar 2005 3 Treffer
- algorithmica 3 Treffer
- computer aided verification (18th international conference, cav 2006, seattle, wa, usa, august 17-20, 2006) 3 Treffer
- constraints (dordrecht) 3 Treffer
- cp 2003 : principles and practice of constraint programming (kinsale, 29 september - 3 october 2003) 3 Treffer
- logic for programming, artificial intelligence, and reasoning (12th international conference, lpar 2005, montego bay, jamaica, december 2-6, 2005) 3 Treffer
- 0isaac 2005 2 Treffer
- 0lpar 2006 2 Treffer
- algorithms and computation (16th international symposium, isaac 2005, sanya, hainan, china, december 19-21, 2005) 2 Treffer
- logic for programming, artificial intelligence, and reasoning (13th international conference, lpar 2006, phnom penh, cambodia, november 13-17, 2006) 2 Treffer
- lpar 2004 : logic for programming, artificial intelligence, and reasoning (montevideo, 14-18 march 2005) 2 Treffer
- stacs 2004 (montpellier, 25-27 march 2004) 2 Treffer
- 0ciac 2006 1 Treffer
- 0csr 2006 1 Treffer
- 0fsttcs 2005 1 Treffer
- 0vmcai 2006 1 Treffer
- advances in artificial intelligence (sao luis, 29 september - 1 october 2004) 1 Treffer
- aisc 2004 : artificial intelligence and symbolic computation (linz, 22-24 september 2004) 1 Treffer
- algorithm engineering (saarbrucken, 5-8 september 2000) 1 Treffer
- algorithms - esa 2005 (13th annual european sympoisum, palma de mallorca, sapin, october 3-6, 2005, proceedings) 1 Treffer
- algorithms and complexity (6th italian conference, ciac 2006, rome, italy, may 29-31, 2006) 1 Treffer
- algorithms and computation (kyoto, 15-17 december 2003) 1 Treffer
- approximation, randomization and combinatorial optimization : algorithms and techniques (berkeley ca, 22-24 august 2005) 1 Treffer
- approximation, randomization, and combinatorial optimization (algorithms and techniques) 1 Treffer
- artificial intelligence and knowledge engineering applications : a bioinspired approach (las palmas, 15-18 june 2005. part ii) 1 Treffer
- automata, languages and programming (lisbon, 11-15 july 2005) 1 Treffer
- automated deduction - cade-19 (miami beach fl, 28 july - 2 august 2003) 1 Treffer
- automated reasoning (cork, 4-8 july 2004) 1 Treffer
- automated reasoning with analytic tableaux and related methods (rome, 9-12 september 2003) 1 Treffer
- cade-20 : automated deduction (tallinn, 22-27 july 2005) 1 Treffer
- cav 2002 : computer aided verification (copenhagen, 27-31 july 2002) 1 Treffer
- cav 2004 : computer aided verification (boston ma, 13-17 july 2004) 1 Treffer
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 1 Treffer
- charme 2003 : correct hardware design and verification methods (l'aquila, 21-24 october 2003) 1 Treffer
- computer science (theory and applications) 1 Treffer
- correct hardware design and verification methods (13th ifip wg 10.5 advanced research working conference, charme 2005, saarbrucken, germany, october 3-6, 2005, proceedings) 1 Treffer
- fc 2005 : financial cryptography and data security (roseau, 28 february - 3 march 2005, revised papers) 1 Treffer
- fct 2005 : fundamentals of computationals theory (lubeck, 17-20 august 2005) 1 Treffer
- fmcad 2004 : formal methods in computer-aided design (austin tx, 15-17 november 2004) 1 Treffer
- foundations of intelligent systems (saratoga springs ny, 25-28 may 2005) 1 Treffer
- fsttcs 2005 (foundations of software technology and theoretical computer science) 1 Treffer
- innovations in applied artificial intelligence (bari, 22-24 june 2005) 1 Treffer
- theory of computing systems 1 Treffer
Sprache
104 Treffer
-
In: Theory and applications of satisfiability testing (St Andrews, 19-23 June 2005), 2005, S. 482-489KonferenzZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 145-156KonferenzZugriff:
-
In: CHARME 2003 : correct hardware design and verification methods (L'Aquila, 21-24 October 2003), 2003, S. 363-377KonferenzZugriff:
-
In: Principles and practice of constraint programming - CP 2005 (11th international conference, 2005, S. 827-831KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (St Andrews, 19-23 June 2005), 2005, S. 423-429KonferenzZugriff:
-
In: CP 2003 : principles and practice of constraint programming (Kinsale, 29 September - 3 October 2003), 2003, S. 108-122KonferenzZugriff:
-
In: Parameterized and Exact Computation, Part II, Jg. 65 (2013), Heft 4, S. 817-827Online academicJournalZugriff:
-
In: Theory and applications of satisfiability testing (Santa Margherita Ligure, 5-8 May 2003, selected revised papers), 2004, S. 330-340KonferenzZugriff:
-
In: Algorithm engineering (Saarbrücken, 5-8 September 2000), 2001, S. 123-134KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
In: Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006), 2006, S. 109-122KonferenzZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 157-172KonferenzZugriff:
-
In: Logic for programming, artificial intelligence, and reasoning (12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005), 2005, S. 489-503KonferenzZugriff:
-
In: Artificial intelligence and knowledge engineering applications : a bioinspired approach (Las Palmas, 15-18 June 2005. Part II), 2005, S. 300-309KonferenzZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 211-223KonferenzZugriff:
-
In: Correct hardware design and verification methods (13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, S. 363-366KonferenzZugriff:
-
In: CP 2004 : principles and practice of constraint programming (Toronto ON, 27 September - 1 October 2004), 2004, S. 663-678KonferenzZugriff:
-
In: Parameterized and exact computation (Bergen, 14-17 September 2004), 2004, S. 223-234KonferenzZugriff:
-
In: TACAS 2004 : tools and algorithms for the construction and analysis of systems (Barcelona, 29 March - 2 April 2004), 2004, S. 31-45KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (Santa Margherita Ligure, 5-8 May 2003, selected revised papers), 2004, S. 172-187KonferenzZugriff: