Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- cardinality constraint 4 Treffer
- conjunctive normal form 3 Treffer
- partial assignment 3 Treffer
- unit propagation 3 Treffer
- boolean function 2 Treffer
-
16 weitere Werte:
- benchmark suite 1 Treffer
- binary decision diagram 1 Treffer
- binary number 1 Treffer
- boolean formula 1 Treffer
- boolean variable 1 Treffer
- constraint programming 1 Treffer
- empty clause 1 Treffer
- existential variable 1 Treffer
- hash function 1 Treffer
- induction hypothesis 1 Treffer
- propositional variable 1 Treffer
- satisfying assignment 1 Treffer
- sorting network 1 Treffer
- space complexity 1 Treffer
- space overhead 1 Treffer
- synthesis problem 1 Treffer
Verlag
Publikation
- theory and applications of satisfiability testing - sat 2012 : 15th international conference, trento, italy, june 17-20, 2012. proceedings 2 Treffer
- ki 2014: advances in artificial intelligence : 37th annual german conference on ai, stuttgart, germany, september 22-26, 2014. proceedings 1 Treffer
- principles and practice of constraint programming - cp 2005 : 11th international conference, cp 2005, sitges, spain, october 1-5, 2005. proceedings 1 Treffer
- principles and practice of constraint programming - cp 2007 : 13th international conference, cp 2007, providence, ri, usa, september 23-27, 2007. proceedings 1 Treffer
- theory and applications of satisfiability testing - sat 2009 : 12th international conference, sat 2009, swansea, uk, june 30 - july 3, 2009. proceedings 1 Treffer
-
3 weitere Werte:
- theory and applications of satisfiability testing - sat 2011 : 14th international conference, sat 2011, ann arbor, mi, usa, june 19-22, 2011. proceedings 1 Treffer
- theory and applications of satisfiability testing - sat 2013 : 16th international conference, helsinki, finland, july 8-12, 2013. proceedings 1 Treffer
- theory and applications of satisfiability testing - sat 2016 : 19th international conference, bordeaux, france, july 5-8, 2016, proceedings 1 Treffer
Sprache
9 Treffer
-
2016Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2009Online E-BookZugriff: