@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00239692,
 author = {萩谷, 昌己 and Hagiya, Masami},
 book = {第41回プログラミング・シンポジウム報告集},
 month = {Jan},
 pages = {9--19},
 publisher = {情報処理学会},
 title = {検証系を用いたアルゴリズムの発見},
 volume = {2000},
 year = {2000}
}