サクサク読めて、アプリ限定の機能も多数!
samu_i のブックマーク 2010/03/19 15:35
SATソルバを使うためにCNFを作る - soutaroブログ[SAT]2010/03/19 15:35
このブックマークにはスターがありません。 最初のスターをつけてみよう!
soutaro.hatenablog.com2010/01/26
SATソルバっていうのは,充足可能性問題(SATisfiability problem)を解いてくれるソフトウェアのことで,SATソルバで数独を解くとか,以外と身近なところに応用があったりします.SATソルバは数独を解くだけじゃ...
17 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
samu_i のブックマーク 2010/03/19 15:35
このブックマークにはスターがありません。
最初のスターをつけてみよう!
SATソルバを使うためにCNFを作る - soutaroブログ
soutaro.hatenablog.com2010/01/26
SATソルバっていうのは,充足可能性問題(SATisfiability problem)を解いてくれるソフトウェアのことで,SATソルバで数独を解くとか,以外と身近なところに応用があったりします.SATソルバは数独を解くだけじゃ...
17 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /