Parameterized SAT
Entry 639 of Encyclopedia of Algorithms,
edited by Ming-Yang Kao,
Springer Verlag, 2008.
[back to Stefan Szeider's homepage]
Parameterized SATEntry 639 of Encyclopedia of Algorithms, edited by Ming-Yang Kao, Springer Verlag, 2008.
[back to Stefan Szeider's homepage] |