|
|
||
Last update: doc. RNDr. Pavel Töpfer, CSc. (01.02.2019)
|
|
||
Last update: RNDr. Jan Hric (07.06.2019)
TBA |
|
||
Last update: RNDr. Jan Hric (07.06.2019)
TBA |
|
||
Last update: T_KTI (27.02.2014)
A. Biere, M. Heule, H. van Maaren, T. Walsh (Eds.). Handbook of Satisfiability, in: Frontiers in Artificial Intelligence and Applications, vol. 185, IOS Press, 2009, pp. 131-153
Niedermeier, Rolf. Invitation to fixed-parameter algorithms. Vol. 3. Oxford: Oxford University Press, 2006
Flum, Jörg, and Martin Grohe. Parameterized complexity theory. Vol. 3. Heidelberg: Springer, 2006 |
|
||
Last update: doc. RNDr. Pavel Töpfer, CSc. (01.02.2019)
succintness
|