Počet záznamů: 1
Encyclopedia of Algorithms
- 1.
SYSNO 0447653 Název Backtracking based k-SAT algorithms Tvůrce(i) Paturi, R. (US)
Pudlák, Pavel (MU-W) RID, SAI
Saks, M. (US)
Zane, F. (US)Zdroj.dok. Encyclopedia of Algorithms. S. 1-6. - Berlin : Springer, 2015 / Kao M.-Y. ISBN 978-3-642-27848-8 Druh dok. Část monografie, knihy (kapitola) Institucionální podpora MU-W - RVO:67985840 Jazyk dok. eng Země vyd. DE Klíč.slova theory of computation * algorithms Spolupracující instituce University of California San Diego (Spojené státy americké)
State University of New Jersey (Spojené státy americké)
Lucent Technologies, Bell Laboraties (Spojené státy americké)URL http://link.springer.com/referenceworkentry/10.1007/978-3-642-27848-8_45-2 Trvalý link http://hdl.handle.net/11104/0249436 Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 1 132.6 KB Vydavatelský postprint vyžádat
Počet záznamů: 1