1: \begin{abstract}

2: The gist of many (NP-)hard combinatorial problems is to decide

3: whether a universe of $n$ elements contains a {\em witness} consisting 

4: of $k$ elements that match some prescribed pattern. 

5: For some of these problems there are known advanced algebra-based 

6: FPT algorithms which solve the decision problem but do not return the witness.

7: We investigate techniques for turning such a YES/NO-decision oracle into 

8: an algorithm for extracting a single witness,

9: with an objective to obtain practical scalability for large values of $n$.

10: By relying on techniques from combinatorial group testing, we demonstrate

11: that a witness may be extracted with $O(k\log n)$ queries to 

12: either a deterministic or a randomized set inclusion oracle with one-sided

13: probability of error. Furthermore, we demonstrate through implementation

14: and experiments that the algebra-based FPT algorithms are practical,

15: in particular in the setting of the $k$-path problem. Also discussed

16: are engineering issues such as optimizing finite field arithmetic.

17: \end{abstract}

18: