[MathJax on]
BacktrackKit is a package which does some interesting and cool things.
This implements the algorithm described in [Leo91] and [Leo97].
generated by GAPDoc2HTML