Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- conjunctive normal form 41 Treffer
- formula cnf 41 Treffer
- formule cnf 41 Treffer
- satisfactibilidad 41 Treffer
- informatique theorique 39 Treffer
-
45 weitere Werte:
- theoretical computing 39 Treffer
- logica proposicional 34 Treffer
- logique propositionnelle 34 Treffer
- propositional logic 34 Treffer
- constraint satisfaction 33 Treffer
- satisfaccion restriccion 33 Treffer
- satisfaction contrainte 33 Treffer
- fonctions logiques, booleennes et de commutation 26 Treffer
- logical, boolean and switching functions 26 Treffer
- artificial intelligence 17 Treffer
- intelligence artificielle 17 Treffer
- algorithmics. computability. computer arithmetics 12 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 12 Treffer
- boolean logic 12 Treffer
- logica booleana 12 Treffer
- logical programming 12 Treffer
- logique booleenne 12 Treffer
- programacion logica 12 Treffer
- programmation logique 12 Treffer
- problema satisfactibilidad 10 Treffer
- probleme satisfiabilite 10 Treffer
- satisfiability problem 10 Treffer
- modeling 9 Treffer
- modelisation 9 Treffer
- modelizacion 9 Treffer
- inteligencia artificial 8 Treffer
- apprentissage et systemes adaptatifs 6 Treffer
- heuristic method 6 Treffer
- learning and adaptive systems 6 Treffer
- methode heuristique 6 Treffer
- metodo heuristico 6 Treffer
- polynomial time 6 Treffer
- problem solving 6 Treffer
- problem solving, game playing 6 Treffer
- program verification 6 Treffer
- resolucion problema 6 Treffer
- resolution de problemes, jeux 6 Treffer
- resolution probleme 6 Treffer
- temps polynomial 6 Treffer
- tiempo polinomial 6 Treffer
- verificacion programa 6 Treffer
- verification programme 6 Treffer
- algorithm complexity 5 Treffer
- backtracking 5 Treffer
- binary decision diagram 5 Treffer
Publikation
- lecture notes in computer science 38 Treffer
- theory and applications of satisfiability testing (st andrews, 19-23 june 2005) 11 Treffer
- sat 2004 : theory and applications of satisfiability testing (vancouver bc, 10-13 may 2004, revised selected papers) 9 Treffer
- journal of automated reasoning 4 Treffer
- 0cav 2006 2 Treffer
-
31 weitere Werte:
- 0lpar 2005 2 Treffer
- 0lpar 2006 2 Treffer
- automata, languages and programming (geneva, 9-15 july 2000) 2 Treffer
- cl 2000 : computational logic (london, 24-28 july 2000) 2 Treffer
- computer aided verification (18th international conference, cav 2006, seattle, wa, usa, august 17-20, 2006) 2 Treffer
- logic for programming, artificial intelligence, and reasoning (12th international conference, lpar 2005, montego bay, jamaica, december 2-6, 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
- 0ciac 2006 1 Treffer
- 0fsttcs 2005 1 Treffer
- 0isaac 2005 1 Treffer
- ai*ia 99 : advances in artificial intelligence (bologna, 14-17 september 1999, selected papers) 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 complexity (6th italian conference, ciac 2006, rome, italy, may 29-31, 2006) 1 Treffer
- algorithms and computation (16th international symposium, isaac 2005, sanya, hainan, china, december 19-21, 2005) 1 Treffer
- algorithms and computation (chennai, december 16-18 1999) 1 Treffer
- approximation, randomization and combinatorial optimization : algorithms and techniques (berkeley ca, 22-24 august 2005) 1 Treffer
- automated reasoning 1 Treffer
- cade-20 : automated deduction (tallinn, 22-27 july 2005) 1 Treffer
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 1 Treffer
- foundations of intelligent systems (warsaw, 8-11 june 1999) 1 Treffer
- fsttcs 2005 (foundations of software technology and theoretical computer science) 1 Treffer
- international journal on software tools for technology transfer (print) 1 Treffer
- lpar '99 : logic for programming and automated reasoning (tbilisi, 6-10 september 1999) 1 Treffer
- lpnmr '99 : logic programming and nonmonotonic reasoning (el paso tx, december 2-4 1999) 1 Treffer
- parameterized and exact computation, part ii 1 Treffer
- special issue on selected extended papers of cade-23 1 Treffer
- special section on hvc 2008 1 Treffer
- stacs 99 (trier, 4-6 march 1999) 1 Treffer
- symbolic and quantitative approaches to reasoning and uncertainty (london, 5-9 july 1999) 1 Treffer
Sprache
53 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: Theory and applications of satisfiability testing (St Andrews, 19-23 June 2005), 2005, S. 423-429KonferenzZugriff:
-
In: Parameterized and Exact Computation, Part II, Jg. 65 (2013), Heft 4, S. 817-827Online academicJournalZugriff:
-
In: Symbolic and quantitative approaches to reasoning and uncertainty (London, 5-9 July 1999), 1999, S. 22-31KonferenzZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 157-172KonferenzZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 211-223KonferenzZugriff:
-
In: Journal of automated reasoning, Jg. 52 (2014), Heft 1, S. 31-65Online academicJournalZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 251-262KonferenzZugriff:
-
In: Algorithms and computation (16th international symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005), 2005, S. 654-664KonferenzZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 59-70KonferenzZugriff:
-
In: Logic for programming, artificial intelligence, and reasoning (12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005), 2005, S. 580-594KonferenzZugriff:
-
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: Theory and applications of satisfiability testing (St Andrews, 19-23 June 2005), 2005, S. 309-323KonferenzZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 80-88KonferenzZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 183-198KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (St Andrews, 19-23 June 2005), 2005, S. 340-354KonferenzZugriff:
-
In: LPAR 2004 : logic for programming, artificial intelligence, and reasoning (Montevideo, 14-18 March 2005), 2005, S. 95-109KonferenzZugriff:
-
In: Algorithms - ESA 2005 (13th annual European sympoisum, Palma de Mallorca, Sapin, October 3-6, 2005, S. 107-118KonferenzZugriff: