Masahiro Sakai
-
2012-08-09T22:46:35+0000
- 更新日時:
2012-08-09T22:46:35+0000
面白そう。
A New Way To Solve Linear Equations
共有中: 一般公開
+1 したユーザー:
Yoriyuki Yamagata
再共有したユーザー:
Dai MIKURUBE
Shiro Kawai
-
2012-08-10T03:31:44+0000
面白い！ 乱択アルゴリズムですね。
Masahiro Sakai
-
2012-08-11T01:23:26+0000
ええ、面白かったです。
応用として、例えば暗号のアタックとかがありそうですが、
CryptoMiniSat
http://www.msoos.org/cryptominisat2/
http://www.cs.virginia.edu/~kn5f/pdf/Extending_SAT_2009.pdf
とかと比べてどうなのか気になるところです。
Masahiro Sakai
-
2012-08-14T12:19:45+0000
Jun Inoue さんのコメントをメモ。
https://twitter.com/jun0inoue/status/233705619499143168
応用として、例えば暗号のアタックとかがありそうですが、
CryptoMiniSat
http://www.msoos.org/cryptominisat2/
http://www.cs.virginia.edu/~kn5f/pdf/Extending_SAT_2009.pdf
とかと比べてどうなのか気になるところです。
https://twitter.com/jun0inoue/status/233705619499143168