Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- conjunctive normal form 101 Treffer
- satisfying assignment 46 Treffer
- boolean formula 39 Treffer
- boolean function 38 Treffer
- truth assignment 31 Treffer
-
45 weitere Werte:
- unit clause 26 Treffer
- nanocellulose 22 Treffer
- carbon nanofiber 20 Treffer
- carbon nanofibers 20 Treffer
- propositional formula 19 Treffer
- conjunctive normal form formula 18 Treffer
- partial assignment 18 Treffer
- satisfiability 18 Treffer
- unit propagation 16 Treffer
- model check 15 Treffer
- cnf 14 Treffer
- sat 14 Treffer
- disjunctive normal form 13 Treffer
- nanocomposites 13 Treffer
- cardinality constraint 12 Treffer
- constraint satisfaction problem 12 Treffer
- local search 12 Treffer
- binary decision diagram 11 Treffer
- cellulose nanofibrils 11 Treffer
- nanocomposite 11 Treffer
- polynomial time 11 Treffer
- empty clause 10 Treffer
- auxiliary variable 9 Treffer
- carbon nanotube 9 Treffer
- graphene 9 Treffer
- proof system 9 Treffer
- propositional variable 9 Treffer
- boolean circuit 8 Treffer
- boolean variable 8 Treffer
- cellulose nanofibers 8 Treffer
- electrospinning 8 Treffer
- horn clause 8 Treffer
- mechanical properties 8 Treffer
- universal variable 8 Treffer
- vertex cover 8 Treffer
- np-completeness 7 Treffer
- propositional logic 7 Treffer
- resolution 7 Treffer
- tree decomposition 7 Treffer
- bipartite graph 6 Treffer
- carbon nanotubes 6 Treffer
- cellulose nanocrystals 6 Treffer
- cellulose nanofiber 6 Treffer
- decision procedure 6 Treffer
- knowledge compilation 6 Treffer
Verlag
- springer berlin heidelberg 370 Treffer
- springer international publishing 257 Treffer
- springer singapore 38 Treffer
- springer us 31 Treffer
- springer nature singapore 25 Treffer
-
11 weitere Werte:
- springer nature switzerland 17 Treffer
- springer netherlands 14 Treffer
- springer new york 11 Treffer
- palgrave macmillan uk 3 Treffer
- springer milan 3 Treffer
- birkhauser basel 2 Treffer
- springer london 2 Treffer
- springer india 1 Treffer
- springer paris 1 Treffer
- springer vienna 1 Treffer
- vieweg+teubner 1 Treffer
Publikation
- theory and applications of satisfiability testing - sat 2006 : 9th international conference, seattle, wa, usa, august 12-15, 2006. proceedings 15 Treffer
- handbook of nanocelluloses : classification, properties, fabrication, and emerging applications 12 Treffer
- theory and applications of satisfiability testing - sat 2010 : 13th international conference, sat 2010, edinburgh, uk, july 11-14, 2010. proceedings 11 Treffer
- theory and applications of satisfiability testing - sat 2009 : 12th international conference, sat 2009, swansea, uk, june 30 - july 3, 2009. proceedings 10 Treffer
- theory and applications of satisfiability testing - sat 2011 : 14th international conference, sat 2011, ann arbor, mi, usa, june 19-22, 2011. proceedings 10 Treffer
-
45 weitere Werte:
- theory and applications of satisfiability testing - sat 2012 : 15th international conference, trento, italy, june 17-20, 2012. proceedings 10 Treffer
- theory and applications of satisfiability testing - sat 2014 : 17th international conference, held as part of the vienna summer of logic, vsl 2014, vienna, austria, july 14-17, 2014. proceedings 9 Treffer
- carbon nanofiber reinforced polymer composites 8 Treffer
- theory and applications of satisfiability testing - sat 2008 : 11th international conference, sat 2008, guangzhou, china, may 12-15, 2008. proceedings 8 Treffer
- theory and applications of satisfiability testing - sat 2017 : 20th international conference, melbourne, vic, australia, august 28 - september 1, 2017, proceedings 7 Treffer
- theory and applications of satisfiability testing : 6th international conference, sat 2003, santa margherita ligure, italy, may 5-8, 2003, selected revised papers 7 Treffer
- theory and applications of satisfiability testing : 7th international conference, sat 2004, vancouver, bc, canada, may 10-13, 2004, revised selected papers 7 Treffer
- theory and applications of satisfiability testing : 8th international conference, sat 2005, st andrews, uk, june 19-23, 2005. proceedings 7 Treffer
- encyclopedia of optimization 6 Treffer
- theory and applications of satisfiability testing - sat 2007 : 10th international conference, lisbon, portugal, may 28-31, 2007. proceedings 6 Treffer
- theory and applications of satisfiability testing -- sat 2015 : 18th international conference, austin, tx, usa, september 24-27, 2015, proceedings 6 Treffer
- theory and applications of satisfiability testing - sat 2013 : 16th international conference, helsinki, finland, july 8-12, 2013. proceedings 5 Treffer
- theory and applications of satisfiability testing - sat 2016 : 19th international conference, bordeaux, france, july 5-8, 2016, proceedings 5 Treffer
- theory and applications of satisfiability testing - sat 2018 : 21st international conference, sat 2018, held as part of the federated logic conference, floc 2018, oxford, uk, july 9-12, 2018, proceedings 5 Treffer
- automata, languages, and programming : 39th international colloquium, icalp 2012, warwick, uk, july 9-13, 2012, proceedings, part i 4 Treffer
- data mining and knowledge discovery via logic-based methods : theory, algorithms, and applications 4 Treffer
- principles and practice of constraint programming : 26th international conference, cp 2020, louvain-la-neuve, belgium, september 7-11, 2020, proceedings 4 Treffer
- advances in natural fibre composites : raw materials, processing and analysis 3 Treffer
- advances in yersinia research 3 Treffer
- algorithms and computation : 24th international symposium, isaac 2013, hong kong, china, december 16-18, 2013, proceedings 3 Treffer
- annual plant: sources of fibres, nanocellulose and cellulosic derivatives : processing, properties and applications 3 Treffer
- automata, languages and programming : 27th international colloquium, icalp 2000 geneva, switzerland, july 9-15, 2000 proceedings 3 Treffer
- automata, languages and programming : 37th international colloquium, icalp 2010, bordeaux, france, july 6-10, 2010, proceedings, part i 3 Treffer
- combinatorial optimization and applications : 14th international conference, cocoa 2020, dallas, tx, usa, december 11-13, 2020, proceedings 3 Treffer
- encyclopedia of algorithms 3 Treffer
- handbook of nanofibers 3 Treffer
- logic for programming, artificial intelligence, and reasoning : 19th international conference, lpar-19, stellenbosch, south africa, december 14-19, 2013. proceedings 3 Treffer
- parameterized and exact computation : 7th international symposium, ipec 2012, ljubljana, slovenia, september 12-14, 2012. proceedings 3 Treffer
- principles and practice of constraint programming - cp 2003 : 9th international conference, cp 2003, kinsale, ireland, september 29 - october 3, 2003. proceedings 3 Treffer
- principles and practice of constraint programming - cp 2005 : 11th international conference, cp 2005, sitges, spain, october 1-5, 2005. proceedings 3 Treffer
- principles and practice of constraint programming - cp 2011 : 17th international conference, cp 2011, perugia, italy, september 12-16, 2011. proceedings 3 Treffer
- principles and practice of constraint programming : 18th international conference, cp 2012, quebec city, qc, canada, october 8-12, 2012. proceedings 3 Treffer
- reinforced polymer matrix syntactic foams : effect of nano and micro-scale reinforcement 3 Treffer
- theory and applications of satisfiability testing - sat 2021 : 24th international conference, barcelona, spain, july 5-9, 2021, proceedings 3 Treffer
- advances in nanotechnology and its applications 2 Treffer
- algorithms and computation : 10th international symposium, isaac'99 chennai, india, december 16-18, 1999 proceedings 2 Treffer
- algorithms and computation : 16th international symposium, isaac 2005, sanya, hainan, china, december 19-21, 2005. proceedings 2 Treffer
- approximation, randomization, and combinatorial optimization. algorithms and techniques : 16th international workshop, approx 2013, and 17th international workshop, random 2013, berkeley, ca, usa, august 21-23, 2013. proceedings 2 Treffer
- artificial intelligence: methodology, systems, and applications : 18th international conference, aimsa 2018, varna, bulgaria, september 12-14, 2018, proceedings 2 Treffer
- automata and computability 2 Treffer
- automata, languages and programming : 34th international colloquium, icalp 2007, wroclaw, poland, july 9-13, 2007. proceedings 2 Treffer
- automata, languages and programming : 38th international colloquium, icalp 2011, zurich, switzerland, july 4-8, 2011, proceedings, part i 2 Treffer
- automata, languages, and programming : 41st international colloquium, icalp 2014, copenhagen, denmark, july 8-11, 2014, proceedings, part i 2 Treffer
- automated deduction-cade-18 : 18th international conference on automated deduction copenhagen, denmark, july 27-30, 2002 proceedings 2 Treffer
- carbon-containing polymer composites 2 Treffer
Sprache
777 Treffer
-
2022Online E-BookZugriff:
-
2024Online E-BookZugriff:
-
2022Online E-BookZugriff:
-
2024Online E-BookZugriff:
-
In: Advances in Energy Research, Vol. 1 : Selected Papers from ICAER 2017; (2020) S. 379-386Online E-BookZugriff:
-
In: Understanding Logic Locking; (2024) S. 131-154Online E-BookZugriff:
-
In: Advances in Manufacturing Processes : Select Proceedings of ICEMMM 2018; (2019) S. 205-217Online E-BookZugriff:
-
In: Advances in Clean Energy and Sustainability : Proceedings of ICAER 2022; (2023) S. 669-678Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
In: Annual Plant: Sources of Fibres, Nanocellulose and Cellulosic Derivatives : Processing, Properties and Applications; (2023) S. 113-144Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
In: Proceedings of the XV Ibero-American Congress of Mechanical Engineering : CIBIM 22 / CIBEM 22; (2023) S. 91-97Online E-BookZugriff:
-
In: Annual Plant: Sources of Fibres, Nanocellulose and Cellulosic Derivatives : Processing, Properties and Applications; (2023) S. 413-441Online E-BookZugriff:
-
In: Recent Trends in Product Design and Intelligent Manufacturing Systems : Select Proceedings of IPDIMS 2021; (2023) S. 429-438Online E-BookZugriff:
-
2022Online E-BookZugriff:
-
In: Encyclopedia of Algorithms; (2016) S. 670-674Online E-BookZugriff:
-
2014Online E-BookZugriff: