This subject requires mandatory link to the excellent and eye opening talk by Ron Pressler: https://pron.github.io/posts/correctness-and-complexity https://pron

This subject requires mandatory link to the excellent and eye opening talk by Ron Pressler: https://pron.github.io/posts/correctness-and-complexity https://pron.github.io/posts/correctness-and-complexity