Skip to main content

Close
Get the best research tool on the web today,and free!
Connect with people with common interests!

saved byMasato Tsukagoshi on 2008-01-09

  • まず SAT をごく簡単に説明します。すでに SAT を知っている人はここは読み飛ばしてください。
  • しかしこれらのルールを論理式に追加することで、SAT ソルバが余計な探索を枝刈りできるようになります
  • 別解がないかどうかをチェックすることも SAT ソルバでできます。すでに得られた解と一致する変数割り当てを禁止する節を追加します
Print