Message boards :
Number crunching :
No work available
Message board moderation
Author | Message |
---|---|
Send message Joined: 7 Sep 17 Posts: 35 Credit: 1,705,287 RAC: 545 |
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: 644 Credit: 22,386,206 RAC: 12,547 |
Hello Dr Who Fan! New tasks generated. :) |
Send message Joined: 7 Sep 17 Posts: 35 Credit: 1,705,287 RAC: 545 |
Thanks!!! |
©2024 The searchers team, Karelian Research Center of the Russian Academy of Sciences