Vytisknout
0447653 - MÚ 2016 RIV DE eng M - Část monografie knihy
Paturi, R. - Pudlák, Pavel - Saks, M. - Zane, F.
Backtracking based k-SAT algorithms.
Encyclopedia of Algorithms. Berlin: Springer, 2015 - (Kao, M.), s. 1-6. ISBN 978-3-642-27848-8
Institucionální podpora: RVO:67985840
Klíčová slova: theory of computation * algorithms
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/referenceworkentry/10.1007/978-3-642-27848-8_45-2
Trvalý link: http://hdl.handle.net/11104/0249436
Paturi, R. - Pudlák, Pavel - Saks, M. - Zane, F.
Backtracking based k-SAT algorithms.
Encyclopedia of Algorithms. Berlin: Springer, 2015 - (Kao, M.), s. 1-6. ISBN 978-3-642-27848-8
Institucionální podpora: RVO:67985840
Klíčová slova: theory of computation * algorithms
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/referenceworkentry/10.1007/978-3-642-27848-8_45-2
Trvalý link: http://hdl.handle.net/11104/0249436