Formal Algorithms + Formal Representations = Search Strategies

Patrick D. Surry, Nicholas J. Radcliffe. Formal Algorithms + Formal Representations = Search Strategies. In Hans-Michael Voigt, Werner Ebeling, Ingo Rechenberger, Hans-Paul Schwefel, editors, Parallel Problem Solving from Nature - PPSN IV, International Conference on Evolutionary Computation. The 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22-26, 1996, Proceedings. Volume 1141 of Lecture Notes in Computer Science, pages 366-375, Springer, 1996.

@inproceedings{SurryR96:1,
  title = {Formal Algorithms + Formal Representations = Search Strategies},
  author = {Patrick D. Surry and Nicholas J. Radcliffe},
  year = {1996},
  tags = {search},
  researchr = {https://researchr.org/publication/SurryR96%3A1},
  cites = {0},
  citedby = {0},
  pages = {366-375},
  booktitle = {Parallel Problem Solving from Nature - PPSN IV, International Conference on Evolutionary Computation. The 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22-26, 1996, Proceedings},
  editor = {Hans-Michael Voigt and Werner Ebeling and Ingo Rechenberger and Hans-Paul Schwefel},
  volume = {1141},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61723-X},
}