One of the cited references is Guillermo Webster — and while the article lists uncmin as the desired artifact, the project that uncmin was developed for takes the concept beyond layout to back solving for desired program outputs.
Carbide [0] is the project that encapsulated some of this in a workable demo. It’s really cool!