UEI Corporation is a user on mstdn.uei.co.jp. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
UEI Corporation @info

Weight-Based Variable Ordering in the Context of High-Level Consistencies
高レベルの一貫性の中での重みベースの変数順序
arxiv.org/abs/1711.00909

要約:Dom / wdegは、バックトラック検索[Boussemart et al。、2004]における動的変数順序付けの最良のヒューリスティック手法の1つです。最初に定義されたように、このヒューリスティックは、検索中にアーク整合性を強制するときに、ドメインワイプアウト(つまり、デッドエンド)を引き起こす制約の重みを増やします。 「dom / wdegで制約を重み付けするプロセスは、複数の制約がドメインワイプアウトにつながる場合は定義されません[Vion et al。、2011]。本稿では、シングルトン(POAC)とリレーション(rela)の2つの上位レベルの整合性を考慮して、どのようにウェイトを更新するべきかを検討する...