セミハード制約

セミハード制約#

  • 読み: せみはーどせいやく

  • 英名:

WCSP の制約式クラスの一つ.ハード制約の次に優先して満たすべき制約のこと.通常,必ず満たさなければならない制約の一部をセミハード制約とし,実行不可能性の原因をセミハード制約に押し付けるという使い方をする.

関連