Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- algorithms 19 Treffer
- computational complexity 12 Treffer
- satisfiability 12 Treffer
- parameterized complexity 10 Treffer
- polynomials 10 Treffer
-
45 weitere Werte:
- lovasz local lemma 9 Treffer
- theory 9 Treffer
- conjunctive normal form 8 Treffer
- constraint satisfaction 8 Treffer
- proof complexity 8 Treffer
- resolution 8 Treffer
- applied sciences 7 Treffer
- exact sciences and technology 7 Treffer
- mathematical formulas 7 Treffer
- mathematical logic 7 Treffer
- sciences appliquees 7 Treffer
- sciences exactes et technologie 7 Treffer
- approximate counting 6 Treffer
- computer science 6 Treffer
- counting 6 Treffer
- mathematical variables 6 Treffer
- probability theory 6 Treffer
- propositional logic 6 Treffer
- algorithmics. computability. computer arithmetics 5 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 5 Treffer
- computer science; control theory; systems 5 Treffer
- formula cnf 5 Treffer
- formule cnf 5 Treffer
- graph theory 5 Treffer
- informatique 5 Treffer
- informatique theorique 5 Treffer
- informatique; automatique theorique; systemes 5 Treffer
- proof theory 5 Treffer
- space 5 Treffer
- theoretical computing 5 Treffer
- artificial intelligence 4 Treffer
- axioms 4 Treffer
- concept learning 4 Treffer
- cutting planes 4 Treffer
- feedback vertex set 4 Treffer
- information science 4 Treffer
- information storage & retrieval systems 4 Treffer
- kernelization 4 Treffer
- probabilistically checkable proofs 4 Treffer
- propositional proof complexity 4 Treffer
- psychology of learning 4 Treffer
- query (information retrieval system) 4 Treffer
- randomized algorithms 4 Treffer
- refutation (logic) 4 Treffer
- satisfiabilite 4 Treffer
Publikation
- journal of the acm 36 Treffer
- acm transactions on computational logic 14 Treffer
- journal of the association for computing machinery 8 Treffer
- acm transactions on algorithms 5 Treffer
- proceedings of the conference: design, automation & test in europe 5 Treffer
-
17 weitere Werte:
- acm transactions on information systems 4 Treffer
- dac: annual acm/ieee design automation conference 4 Treffer
- journal of experimental algorithmics (jea) 4 Treffer
- acm journal of experimental algorithmics 3 Treffer
- acm transactions on computation theory 3 Treffer
- proceedings of the annual acm-siam symposium on discrete algorithms 3 Treffer
- acm international conference proceeding series 2 Treffer
- design automation conference (proceedings 2004) 2 Treffer
- proceedings of the 1993 acm/sigapp symposium: applied computing 2 Treffer
- proceedings of the annual acm symposium on theory of computing 2 Treffer
- itcs 2014 - proceedings of the 2014 conference on innovations in theoretical computer science 1 Treffer
- proceedings of the 23rd symposium: integrated circuits & system design 1 Treffer
- proceedings of the 39th annual design automation conference 1 Treffer
- proceedings of the 5th conference innovations in theoretical computer science 1 Treffer
- proceedings of the acm symposium on applied computing 1 Treffer
- proceedings of the conference: design, automation & test in europe (9783981080155) 1 Treffer
- proceedings of the thirtieth annual acm symposium: theory of computing 1 Treffer
Sprache
112 Treffer
-
In: Journal of the ACM, Jg. 69 (2022-05-01), Heft 3, S. 1-32Online academicJournalZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 18 (2017-07-01), Heft 3, S. 1-46Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Journal of the Association for Computing Machinery, Jg. 69 (2022), Heft 3, S. Article 19Online serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: Design automation conference (proceedings 2004), 2004, S. 530-534KonferenzZugriff:
-
In: Journal of Experimental Algorithmics (JEA), Jg. 25 (2020-07-01), Heft 1, S. 1-12Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Journal of the ACM, Jg. 52 (2005-05-01), Heft 3, S. 337-364Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: Journal of the Association for Computing Machinery, Jg. 54 (2007), Heft 2, S. 1-21Online academicJournalZugriff:
-
In: Journal of the Association for Computing Machinery, Jg. 52 (2005), Heft 3, S. 337-364Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff: