Proceedings of the fourth ACM symposium on Solid modeling and applications