@techreport{weko_27707_1, author = "須山,敬之 and 横尾,真 and 名古屋,彰", title = "再構成可能なハードウェアを用いた充足可能性問題の解法", year = "1998", institution = "NTTコミュニケーション科学研究所, NTTコミュニケーション科学研究所, NTTコミュニケーション科学研究所", number = "113(1998-SLDM-090)", month = "dec" }