Message boards :
Number crunching :
No work available
Message board moderation
Author | Message |
---|---|
Send message Joined: 7 Sep 17 Posts: 30 Credit: 1,586,211 RAC: 2,405 |
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,908,508 RAC: 10,284 |
Hello Dr Who Fan! New tasks generated. :) |
Send message Joined: 7 Sep 17 Posts: 30 Credit: 1,586,211 RAC: 2,405 |
Thanks!!! |
©2024 The searchers team, Karelian Research Center of the Russian Academy of Sciences