Test instance generation for promised NP search problems | IEEE Conference Publication | IEEE Xplore