F.4.2」カテゴリーアーカイブ

Automating Reformulation of Essence Specifications via Graph Rewriting

要約 パラメータ化された問題クラスの効果的な制約モデルを定式化することは、その後 … 続きを読む

カテゴリー: cs.AI, F.4.2 | Automating Reformulation of Essence Specifications via Graph Rewriting はコメントを受け付けていません

Towards Exploratory Reformulation of Constraint Models

要約 対象となる問題の効果的な制約モデルを定式化することが、その後の問題を効率的 … 続きを読む

カテゴリー: cs.AI, F.4.2 | Towards Exploratory Reformulation of Constraint Models はコメントを受け付けていません