Message boards :
Number crunching :
No work available
Message board moderation
Author | Message |
---|---|
Send message Joined: 7 Sep 17 Posts: 30 Credit: 1,527,620 RAC: 168 |
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: 624 Credit: 20,552,779 RAC: 8,019 |
Hello Dr Who Fan! New tasks generated. :) |
Send message Joined: 7 Sep 17 Posts: 30 Credit: 1,527,620 RAC: 168 |
Thanks!!! |
©2024 The searchers team, Karelian Research Center of the Russian Academy of Sciences