The VPRI institut founded by Alan Kay has some papers on constraint-based layouts for GUIs based on constraint solving.
- Wallingford: Toward a Constraint Reactive Programming Language by Alan Borning (2016)
- A Report on KScript and KSWorld by Yoshiki Ohshima, Bert Freudenberg, Aran Lunzer and Ted Kaehler (2012)
Further papers by Alan Borning and others include:
- Scwm: An Extensible Constraint-Enabled Window Manager by Greg J. Badros, Jeffrey Nichols and Alan Borning
- Constraint Solving for Beautiful User Interfaces:How Solving Strategies Support Layout Aesthetics by Zeidler, Lutteroth and Weber (2012)
Are there other groups working on constraint-based layouts for GUIs?