15:20 〜 15:40
[2E4-OS-13c-01] SQL 型ソルバ CombSQL+による車両割当て問題の記述
キーワード：組合せ最適化、SQL、SAT、SMT
著者らはこれまで，SQL 言語を知っていれば組合せ最適化問題を比較的容易に記述し解くことができるようにすることを目的として，CombSQL+システムを開発した．まだこのシステムの利用例は少なく，応用例を増やし評価することが必要である.
本稿では，車両割当て問題に対するCombSQL+の記述を紹介する．ここで，些細とも思われる記述の差が，大きく実行性能に影響を及ぼす事が分かった．その理由について考察し，解決法のアイデアを述べる．
本稿では，車両割当て問題に対するCombSQL+の記述を紹介する．ここで，些細とも思われる記述の差が，大きく実行性能に影響を及ぼす事が分かった．その理由について考察し，解決法のアイデアを述べる．
講演PDFパスワード認証
論文PDFの閲覧にはログインが必要です。参加登録者の方は「参加者用ログイン」画面からログインしてください。あるいは論文PDF閲覧用のパスワードを以下にご入力ください。