Relating decision and search algorithms for rational points on curves of   higher genus
  For affine plane curves defined over the rationals of genus at least two, we show that a decision algorithm for the existence of solutions also yields a search algorithm for all solutions. 
Minhyong Kim