Kitty Meeks. Randomised Enumeration of Small Witnesses Using a Decision Oracle. Algorithmica, 81(2):519-540, 2019. [doi]
@article{Meeks19,
title = {Randomised Enumeration of Small Witnesses Using a Decision Oracle},
author = {Kitty Meeks},
year = {2019},
doi = {10.1007/s00453-018-0404-y},
url = {https://doi.org/10.1007/s00453-018-0404-y},
researchr = {https://researchr.org/publication/Meeks19},
cites = {0},
citedby = {0},
journal = {Algorithmica},
volume = {81},
number = {2},
pages = {519-540},
}