@techreport{weko_31768_1,
   author	 = "向山輝",
   title	 = "特別講演：機能理論検証問題における組み合わせ最適化問題の利用～充足可能性問題を解法エンジンとして利用する世界～",
   year 	 = "2005",
   institution	 = "NEC",
   number	 = "110(2005-AL-103)",
   month	 = "nov"
}