キーワード : 制約充足問題

大規模ビデオサーバのビデオセグメント配置による性能改善
田中　清 阪本　秀樹 鈴木　偉元 西村　一敏 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/09/01
Vol. J84-D1  No. 9 ; pp. 1387-1395
論文種別:  論文
専門分野: データベース
キーワード: 
ビデオオンデマンド, 大規模ビデオサーバ, ストライピング, セグメント配置, 制約充足問題, 
 あらまし | 本文:PDF(645.1KB)
2段階CLP緩和解法によるリソース平準化スケジューリングシステム
高田　真好 寺野　隆雄 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/06/01
Vol. J84-D1  No. 6 ; pp. 896-905
論文種別:  特集論文 (システム開発論文特集)
専門分野: 人工知能，認知科学
キーワード: 
制約論理プログラミング, 平準化, 制約充足問題, 制約緩和問題, 生産スケジューリング, 
 あらまし | 本文:PDF(907.2KB)
再構成可能なハードウェアを用いた充足可能性問題の解法
須山　敬之 横尾　真 澤田　宏 名古屋　彰 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/04/01
Vol. J84-D1  No. 4 ; pp. 410-420
論文種別:  論文
専門分野: 人工知能，認知科学
キーワード: 
充足可能性問題, リコンフィギャラブルコンピューティング, FPGA, 論理合成, 制約充足問題, 
 あらまし | 本文:PDF(864.4KB)
モデル生成型定理証明システムによる制約充足問題の解決とその並列化
白井　康之 長谷川　隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/01/25
Vol. J80-D2  No. 1 ; pp. 224-236
論文種別:  論文
専門分野: 人工知能，自然言語処理，認知科学
キーワード: 
自動証明, 制約充足問題, 準群問題, モデル生成法, OR並列, 
 あらまし | 本文:PDF(854.2KB)
大規模データベースを用いた計画問題とその並列処理方式
大森　匡 松本　弘 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/08/25
Vol. J77-D1  No. 8 ; pp. 577-588
論文種別:  論文
専門分野: データベース
キーワード: 
並列データベース処理, 制約充足問題, 協調分散処理, 
 あらまし | 本文:PDF(843.5KB)
ラティス構造内の領域探索法と制約充足問題への応用
清水　英弘 太原　育夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/03/25
Vol. J76-D2  No. 3 ; pp. 615-623
論文種別:  論文
専門分野: 人工知能，認知科学
キーワード: 
ラティス構造, 部分領域, 極小元, 極大元, 制約充足問題, 
 あらまし | 本文:PDF(539.3KB)