iZ-C チュートリアル

Contents:

• はじめに
• 初期化と終了処理
• iZ-C を用いたモデル化
  • 領域変数 (CSint型)
  • 覆面算
• 木探索と制約伝播
• デモンを用いた制約の定義
• 例題
  • 画像の復号化
  • 複合魔法陣
  • Sgn 制約