Kitty Meeks: Randomised Enumeration of Small Witnesses Using a Decision Oracle. Algorithmica 81(2): 519-540 (2019)