Randomised enumeration of small witnesses using a decision oracle
scientific article; zbMATH DE number 7023725
scientific article