@techreport{weko_33572_1,
   author	 = "馬淵,浩司 and 繁田,良則 and 赤間,清",
   title	 = "区間変数に関する包含制約の等価変換による問題解決の高速化",
   year 	 = "2000",
   institution	 = "岩手県立大学ソフトウェア情報学部, 東芝システムLSI技術研究所, 北海道大学情報メディア教育研究総合センター",
   number	 = "16(1999-MPS-028)",
   month	 = "feb"
}