Number of the records: 1
Encyclopedia of Algorithms
- 1.
SYSNO 0447653 Title Backtracking based k-SAT algorithms Author(s) Paturi, R. (US)
Pudlák, Pavel (MU-W) RID, SAI
Saks, M. (US)
Zane, F. (US)Source Title Encyclopedia of Algorithms. S. 1-6. - Berlin : Springer, 2015 / Kao M.-Y. ISBN 978-3-642-27848-8 Document Type Část monografie, knihy (kapitola) Institutional support MU-W - RVO:67985840 Language eng Country DE Keywords theory of computation * algorithms Cooperating institutions University of California San Diego (United States)
State University of New Jersey (United States)
Lucent Technologies, Bell Laboraties (United States)URL http://link.springer.com/referenceworkentry/10.1007/978-3-642-27848-8_45-2 Permanent Link http://hdl.handle.net/11104/0249436 File Download Size Commentary Version Access Pudlak.pdf 1 132.6 KB Publisher’s postprint require
Number of the records: 1