samu_isamu_i のブックマーク 2010/03/19 15:35

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

SATソルバを使うためにCNFを作る - soutaroブログ

    SATソルバっていうのは,充足可能性問題(SATisfiability problem)を解いてくれるソフトウェアのことで,SATソルバで数独を解くとか,以外と身近なところに応用があったりします.SATソルバは数独を解くだけじゃ...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう