Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- formula cnf 63 Treffer
- logica proposicional 57 Treffer
- logique propositionnelle 57 Treffer
- propositional logic 57 Treffer
- informatique theorique 54 Treffer
-
45 weitere Werte:
- theoretical computing 54 Treffer
- satisfiability 47 Treffer
- fonctions logiques, booleennes et de commutation 43 Treffer
- logical, boolean and switching functions 43 Treffer
- satisfiabilite 33 Treffer
- satisfactibilidad 32 Treffer
- problema satisfactibilidad 19 Treffer
- probleme satisfiabilite 19 Treffer
- satisfiability problem 19 Treffer
- boolean logic 17 Treffer
- logica booleana 17 Treffer
- logique booleenne 17 Treffer
- satisfactoriabilidad 14 Treffer
- satisfaisabilite 14 Treffer
- artificial intelligence 13 Treffer
- intelligence artificielle 13 Treffer
- heuristic method 12 Treffer
- methode heuristique 12 Treffer
- metodo heuristico 12 Treffer
- algorithmics. computability. computer arithmetics 11 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 11 Treffer
- program verification 11 Treffer
- verificacion programa 11 Treffer
- verification programme 11 Treffer
- backtracking 10 Treffer
- model checking 9 Treffer
- verification modele 9 Treffer
- approche probabiliste 8 Treffer
- enfoque probabilista 8 Treffer
- inteligencia artificial 8 Treffer
- logiciel 8 Treffer
- modeling 8 Treffer
- modelisation 8 Treffer
- modelizacion 8 Treffer
- probabilistic approach 8 Treffer
- software 8 Treffer
- algorithme recherche 7 Treffer
- algoritmo busqueda 7 Treffer
- binary decision diagram 7 Treffer
- diagrama binaria decision 7 Treffer
- diagramme binaire decision 7 Treffer
- logical programming 7 Treffer
- operational research and scientific management 7 Treffer
- operational research. management science 7 Treffer
- programacion logica 7 Treffer
Publikation
- lecture notes in computer science 57 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
-
40 weitere Werte:
- journal of automated reasoning 3 Treffer
- 0lpar 2006 2 Treffer
- algorithmica 2 Treffer
- constraints (dordrecht) 2 Treffer
- cp 2003 : principles and practice of constraint programming (kinsale, 29 september - 3 october 2003) 2 Treffer
- logic for programming, artificial intelligence, and reasoning (13th international conference, lpar 2006, phnom penh, cambodia, november 13-17, 2006) 2 Treffer
- 0cav 2006 1 Treffer
- 0ciac 2006 1 Treffer
- 0isaac 2005 1 Treffer
- 0lpar 2005 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
- approximation, randomization and combinatorial optimization : algorithms and techniques (berkeley ca, 22-24 august 2005) 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
- 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
- charme 2003 : correct hardware design and verification methods (l'aquila, 21-24 october 2003) 1 Treffer
- cocoon 2003 : computing and combinatorics (big sky mt, 25-28 july 2003) 1 Treffer
- computer aided verification (18th international conference, cav 2006, seattle, wa, usa, august 17-20, 2006) 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
- cp 2001 : principles and practice of constraint programming (paphos, 26 november - 1 december 2001) 1 Treffer
- cp 2002 : principles and practice of constraint programming - cp 2002 (ithaca ny, 9-13 september 2002) 1 Treffer
- innovations in applied artificial intelligence (bari, 22-24 june 2005) 1 Treffer
- international journal on software tools for technology transfer (print) 1 Treffer
- latin 2004 : theoretical informatics (buenos aires, 5-8 april 2004) 1 Treffer
- logic for programming, artificial intelligence, and reasoning (12th international conference, lpar 2005, montego bay, jamaica, december 2-6, 2005) 1 Treffer
- lpar 2003 : logic for programming artificial intelligence, and reasoning (almaty, 22-26 september 2003) 1 Treffer
- lpar 2004 : logic for programming, artificial intelligence, and reasoning (montevideo, 14-18 march 2005) 1 Treffer
- lpnmr '99 : logic programming and nonmonotonic reasoning (el paso tx, december 2-4 1999) 1 Treffer
- parameterized and exact computation (bergen, 14-17 september 2004) 1 Treffer
- parameterized and exact computation, part ii 1 Treffer
- principles and practice of constraint programming - cp 2005 (11th international conference, cp 2005, sitges, spain, october 1-5, 2005, proceedings) 1 Treffer
- special issue on local search techniques in constraint satisfaction 1 Treffer
- special issue on selected extended papers of cade-23 1 Treffer
- special section on hvc 2008 1 Treffer
- stacs 2004 (montpellier, 25-27 march 2004) 1 Treffer
- tacas 2004 : tools and algorithms for the construction and analysis of systems (barcelona, 29 march - 2 april 2004) 1 Treffer
- tacas 2005 : tools and algorithms for the construction and analysis of systems (edinburgh, 4-8 april 2005) 1 Treffer
- trends in artificial intelligence (auckland, 9-13 august 2004) 1 Treffer
Sprache
71 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: 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: CP 2002 : principles and practice of constraint programming - CP 2002 (Ithaca NY, 9-13 September 2002), 2002, S. 185-199KonferenzZugriff:
-
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: 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:
-
In: CAV 2004 : computer aided verification (Boston MA, 13-17 July 2004), 2004, S. 519-522KonferenzZugriff:
-
In: Journal of automated reasoning, Jg. 52 (2014), Heft 1, S. 31-65Online academicJournalZugriff:
-
In: Algorithmica, Jg. 68 (2014), Heft 3, S. 739-757Online academicJournalZugriff:
-
In: Special issue on local search techniques in constraint satisfaction, Jg. 12 (2007), Heft 3, S. 345-369Online academicJournalZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 251-262KonferenzZugriff: