596 followers
Finding the bounds for 9 and 10 inputs in 2014 took over a week on a 144 core cluster. In the meantime the approach used for that result was optimized to take 11h on a 32-core machine https://t.co/YitSpRcUHD 3/11
Finding the bounds for 9 and 10 inputs in 2014 took over a week on a 144 core cluster. In the meantime the approach used for that result was optimized to take 11h on a 32-core machine https://t.co/YitSpRcUHD 3/11
Today I found a recent paper that also optimized the subsumption check in this algorithm: https://t.co/YitSpRcUHD They managed to get to 27 hours using 32 cores. So I guess I shouldn't feel too bad about my other ideas not working out and still try to writ