Extra tricks to further constrain the search and some implementation details can be found in Andrew Booker's paper [0]. Hacker News of a few days ago contains a

Extra tricks to further constrain the search and some implementation details can be found in Andrew Booker's paper [0]. Hacker News of a few days ago contains additional thoughts [1]. [0] https://people.maths.bris.ac.uk/~maarb/papers/cubesv1.pdf https://people.maths.bris.ac.uk/~maarb/papers/cubesv1.pdf [1] https://news.ycombinator.com/item?id=19492091 https://news.ycombinator.com/item?id=19492091