Message boards :
Number crunching :
No work available
Message board moderation
Author | Message |
---|---|
Send message Joined: 7 Sep 17 Posts: 30 Credit: 1,553,599 RAC: 723 |
No work available SAT-based search for orthogonal pairs of DLS of order 10 0 10717 1.23 (0.01 - 12.73) 195 |
Send message Joined: 11 Aug 17 Posts: 626 Credit: 20,815,273 RAC: 8,816 |
Hello Dr Who Fan! New tasks generated. :) |
Send message Joined: 7 Sep 17 Posts: 30 Credit: 1,553,599 RAC: 723 |
Thanks!!! |
©2024 The searchers team, Karelian Research Center of the Russian Academy of Sciences