miniblog.
← Back to all posts
Wilfred Hughes
Aug 22, 2017 at 22:37
AST canonicalisation in arithmetic solvers:
https://blog.plover.com/math/24-puzzle-2.html
(interesting, I've only seen canonicalisation in compilers previously)
Recognizing when two arithmetic expressions are essentially the same
From the highly eclectic blog of Mark Dominus
