Richard Rankin, Ralph W. Wilkerson. Proving functionally difficult problems through model generation. In Hal Berghel, Ed Deaton, George E. Hedrick, David Roach, Roger L. Wainwright, editors, Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, Kansas City, MO, USA, March 1-3, 1992. pages 526-529, ACM, 1992. [doi]
@inproceedings{RankinW92,
title = {Proving functionally difficult problems through model generation},
author = {Richard Rankin and Ralph W. Wilkerson},
year = {1992},
doi = {10.1145/143559.150707},
url = {http://doi.acm.org/10.1145/143559.150707},
researchr = {https://researchr.org/publication/RankinW92},
cites = {0},
citedby = {0},
pages = {526-529},
booktitle = {Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, Kansas City, MO, USA, March 1-3, 1992},
editor = {Hal Berghel and Ed Deaton and George E. Hedrick and David Roach and Roger L. Wainwright},
publisher = {ACM},
isbn = {0-89791-502-X},
}