https://samirpaul.in/posts/satisfiability-of-equality-equations/