論文の概要: Solving Multi-Configuration Problems: A Performance Analysis with Choco
Solver
- arxiv url: http://arxiv.org/abs/2310.02658v1
- Date: Wed, 4 Oct 2023 08:34:32 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-05 16:01:58.563247
- Title: Solving Multi-Configuration Problems: A Performance Analysis with Choco
Solver
- Title（参考訳）: 複数構成問題の解決:Choco Solverによる性能解析
- Authors: Benjamin Ritz, Alexander Felfernig, Viet-Man Le, Sebastian Lubos
- Abstract要約: 本稿では,個別の試験を生成するためのマルチコンフィグレーションの適用例を示す。
また、対応するパフォーマンス問題に対するいくつかの洞察を得るのに役立つ制約解決器のパフォーマンス分析も提供します。
- 参考スコア（独自算出の注目度）: 49.712444772173775
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In many scenarios, configurators support the configuration of a solution that
satisfies the preferences of a single user. The concept of
\emph{multi-configuration} is based on the idea of configuring a set of
configurations. Such a functionality is relevant in scenarios such as the
configuration of personalized exams, the configuration of project teams, and
the configuration of different trips for individual members of a tourist group
(e.g., when visiting a specific city). In this paper, we exemplify the
application of multi-configuration for generating individualized exams. We also
provide a constraint solver performance analysis which helps to gain some
insights into corresponding performance issues.
- Abstract（参考訳）: 多くのシナリオにおいて、コンフィギュレータは、単一のユーザの好みを満たすソリューションの構成をサポートする。
emph{multi-configuration}の概念は、一連の設定を設定するという考え方に基づいている。
このような機能は、パーソナライズされた試験の構成、プロジェクトチームの構成、観光グループ(例えば、特定の都市を訪れる場合)の個々のメンバーに対する異なるトリップの構成といったシナリオに関係しています。
本稿では,マルチコンフィギュレーションの個人化試験への適用例を示す。
また、対応するパフォーマンス問題に対する洞察を得るのに役立つ制約解決器のパフォーマンス分析も提供します。
関連論文リスト
- Dominating Set Reconfiguration with Answer Set Programming [0.5242869847419832]
我々は Answer Set Programming (ASP) に基づく支配的集合再構成問題の解法を開発する。
このアプローチは、高レベルのASPエンコーディングに依存しており、基礎と解決のタスクは、ASPベースの解決器に委譲されます。
論文 参考訳（メタデータ） (2024-08-14T12:38:12Z) - Generating Maximal Configurations and Their Variants Using Code Metrics [0.0]
本稿では,制約解決(SATとMaxSAT)と設定ファズリングを利用する新しい構成生成アルゴリズムを提案する。
MaxSATベースの構成生成によって、いくつかのコードメトリクスのカバレッジが向上することを示す。
また、複数の構成を高いカバレッジでカバーする必要がある場合、CONFIZZの存在条件ファジリングは代替よりも優れていることを示す。
論文 参考訳（メタデータ） (2024-01-15T18:58:22Z) - Automatic MILP Solver Configuration By Learning Problem Similarities [1.1585113506994469]
混合線形プログラム(MILP)は、内部アルゴリズムを制御するために多数の構成パラメータを公開する。
我々は,探索・評価設定のオーバーヘッドを伴わずに,低コストなソリューションを実現する未確認問題インスタンスの構成パラメータを予測することを目的としている。
1つのソルバ構成で同様のコストを持つインスタンスも、同じランタイム環境で別のソルバ構成で同様のコストを持つことを示す。
論文 参考訳（メタデータ） (2023-07-02T21:31:47Z) - Conjunctive Query Based Constraint Solving For Feature Model
Configuration [79.14348940034351]
本稿では、制約満足度問題を解決するために共役クエリーを適用する方法を示す。
このアプローチは、構成タスクを解決するために、広範囲のデータベース技術の応用を可能にする。
論文 参考訳（メタデータ） (2023-04-26T10:08:07Z) - Optimal Event Monitoring through Internet Mashup over Multivariate Time
Series [77.34726150561087]
このフレームワークは、モデル定義、クエリ、パラメータ学習、モデル評価、データ監視、決定レコメンデーション、Webポータルのサービスをサポートする。
さらに、MTSAデータモデルとクエリ言語を拡張して、学習、監視、レコメンデーションのサービスにおいて、この種の問題をサポートする。
論文 参考訳（メタデータ） (2022-10-18T16:56:17Z) - Configuring Multiple Instances with Multi-Configuration [48.98522706358725]
我々は、構成プロセスの結果が構成の集合であるシナリオに焦点を当てた、新しい構成アプローチ、マルチ構成を導入する。
その応用例としては、個別の学生向けの個別試験の設定、プロジェクトチームの構成、レビュアー・ツー・ペーパーの割り当て、ホテルの部屋の割り当てがある。
マルチコンフィグレーションシナリオでは,テスト設定のコンテキストにおける制約満足度問題表現を例示する。
論文 参考訳（メタデータ） (2021-09-20T17:04:56Z) - An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets [68.8204255655161]
過制約問題における最小限の障害制約を識別する分割・分散型診断アルゴリズム(FastDiag)を提案する。
ヒットセットの競合指向計算とfastdiagを比較し,詳細な性能解析を行う。
論文 参考訳（メタデータ） (2021-02-17T19:55:42Z) - An Overview of Recommender Systems and Machine Learning in Feature
Modeling and Configuration [55.67505546330206]
レコメンダーシステムおよび機械学習技術の適用に関連する潜在的な新しい研究ラインの概要を説明します。
本論文では,レコメンダーシステムと機械学習の応用例を示し,今後の研究課題について考察する。
論文 参考訳（メタデータ） (2021-02-12T17:21:36Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。