I've devised a way to have a procedurally generated tech tree. Actually, it's an inexhaustably large number of tech trees in a huge Directed Acyclic Graph. The particular resources will be partially location dependent, which will motivate the exploration and trading. That's the plan, anyways.
https://www.youtube.com/watch?v=E3DPalL7p5w