Proceedings on the second ACM symposium on Solid modeling and applications