Randomised Enumeration of Small Witnesses Using a Decision Oracle
Crossref DOI link: https://doi.org/10.1007/s00453-018-0404-y
Published Online: 2018-01-16
Published Print: 2019-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Meeks, Kitty http://orcid.org/0000-0001-5299-3073
Funding for this research was provided by:
Royal Society of Edinburgh (ID0EDGAE2272)
Text and Data Mining valid from 2018-01-16
Article History
Received: 19 May 2017
Accepted: 4 January 2018
First Online: 16 January 2018