{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:47:22Z","timestamp":1725518842137},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540877295"},{"type":"electronic","value":"9783540877301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87730-1_8","type":"book-chapter","created":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T02:45:47Z","timestamp":1221965147000},"page":"45-59","source":"Crossref","is-referenced-by-count":2,"title":["Smooth Linear Approximation of Non-overlap Constraints"],"prefix":"10.1007","author":[{"given":"Graeme","family":"Gange","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Marriott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"8_CR1","first-page":"267","volume":"8","author":"G.J. Badros","year":"2001","unstructured":"Badros, G.J., Borning, A., Stuckey, P.J.: The Cassowary linear arithmetic constraint solving algorithm. ACM Trans. CHI.\u00a08(4), 267\u2013306 (2001)","journal-title":"ACM Trans. CHI."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Baraff, D.: Fast contact force computation for nonpenetrating rigid bodies. In: Proceedings of the 21st Annual Conference on Computer Graphics and Interactive Techniques, pp. 23\u201334 (1994)","DOI":"10.1145\/192161.192168"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/263407.263518","volume-title":"Proceedings of the 10th Annual ACM Symposium on User Interface Software and Technology","author":"A. Borning","year":"1997","unstructured":"Borning, A., Marriott, K., Stuckey, P., Xiao, Y.: Solving linear arithmetic constraints for user interface applications. In: Proceedings of the 10th Annual ACM Symposium on User Interface Software and Technology, pp. 87\u201396. ACM Press, New York (1997)"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/BF02574703","volume":"6","author":"B. Chazelle","year":"1991","unstructured":"Chazelle, B.: Triangulating a simple polygon in linear time. Discrete and Computational Geometry\u00a06(1), 485\u2013524 (1991)","journal-title":"Discrete and Computational Geometry"},{"issue":"9","key":"8_CR5","doi-asserted-by":"publisher","first-page":"1412","DOI":"10.1109\/5.163409","volume":"80","author":"Y. Chiang","year":"1992","unstructured":"Chiang, Y., Tamassia, R.: Dynamic algorithms in computational geometry. Proceedings of the IEEE\u00a080(9), 1412\u20131434 (1992)","journal-title":"Proceedings of the IEEE"},{"key":"8_CR6","unstructured":"Flato, E.: Robust and efficient construction of planar Minkowski sums. Master\u2019s thesis, School of Computer Science, Tel-Aviv University (2000)"},{"key":"8_CR7","volume-title":"Practical methods of optimization","author":"R. Fletcher","year":"1987","unstructured":"Fletcher, R.: Practical methods of optimization. Wiley-Interscience, New York (1987)"},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0734-189X(90)90160-W","volume":"49","author":"P.K. Ghosh","year":"1990","unstructured":"Ghosh, P.K.: A solution of polygon containment, spatial planning, and other related problems using minkowski operations. Comput. Vision Graph. Image Process.\u00a049(1), 1\u201335 (1990)","journal-title":"Comput. Vision Graph. Image Process."},{"key":"8_CR9","unstructured":"Greene, D.H.: The decomposition of polygons into convex parts. In: Computational Geometry, pp. 235\u2013259 (1983)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Harada, M., Witkin, A., Baraff, D.: Interactive physically-based manipulation of discrete\/continuous models. In: Proceedings of the 22nd Annual Conference on Computer Graphics and Interactive Techniques, pp. 199\u2013208 (1995)","DOI":"10.1145\/218380.218443"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Hosobe, H.: A modular geometric constraint solver for user interface applications. In: Proceedings of the 14th annual ACM symposium on User Interface Software and Technology, pp. 91\u2013100 (2001)","DOI":"10.1145\/502348.502362"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Hurst, N., Marriott, K., Moulder, P.: Dynamic approximation of complex graphical constraints by linear constraints. In: Proceedings of the 15th annual ACM symposium on User Interface Software and Technology, pp. 27\u201330 (2002)","DOI":"10.1145\/571985.572012"},{"issue":"1-3","key":"8_CR13","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/0004-3702(92)90012-M","volume":"58","author":"G.A. Kramer","year":"1992","unstructured":"Kramer, G.A.: A geometric constraint engine. Artificial Intelligence\u00a058(1-3), 327\u2013360 (1992)","journal-title":"Artificial Intelligence"},{"key":"8_CR14","unstructured":"Lin, M., Manocha, D., Cohen, J.: Collision detection: Algorithms and applications (1996)"},{"key":"8_CR15","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1007\/3-540-49481-2_25","volume-title":"Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Chok, S.C., Finlay, A.: A tableau based constraint solving toolkit for interactive graphical applications. In: Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming, London, UK, pp. 340\u2013354. Springer, London (1998)"},{"key":"8_CR16","first-page":"361","volume-title":"Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming","author":"K. Marriott","year":"2001","unstructured":"Marriott, K., Moulder, P., Stuckey, P.J., Borning, A.: Solving disjunctive constraints for interactive graphical applications. In: Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, London, UK, pp. 361\u2013376. Springer, Heidelberg (2001)"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/325334.325241","volume-title":"Proceedings of the 12th annual conference on Computer Graphics and Interactive Techniques","author":"G. Nelson","year":"1985","unstructured":"Nelson, G.: Juno, a constraint-based graphics system. In: Proceedings of the 12th annual conference on Computer Graphics and Interactive Techniques, pp. 235\u2013243. ACM Press, New York (1985)"},{"key":"8_CR18","unstructured":"O\u2019Rourke, J.: Computational Geometry in C, 2nd edn. (1998)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Ramkumar, G.D.: An algorithm to compute the Minkowski sum outer-face of two simple polygons. In: Proceedings of the Twelfth Annual Symposium on Computational geometry, pp. 234\u2013241 (1996)","DOI":"10.1145\/237218.237374"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Samet, H.: The Design and Analysis of Spatial Data Structures (1990)","DOI":"10.1007\/3-540-52208-5_28"},{"issue":"1","key":"8_CR21","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0925-7721(91)90012-4","volume":"1","author":"R. Seidel","year":"1991","unstructured":"Seidel, R.: A simple and fast incremental randomized algorithm for computing trapezoidal decompositions and for triangulating polygons. Comput. Geom. Theory Appl.\u00a01(1), 51\u201364 (1991)","journal-title":"Comput. Geom. Theory Appl."},{"key":"8_CR22","first-page":"6","volume-title":"DAC 1964: Proceedings of the SHARE design automation workshop","author":"I.E. Sutherland","year":"1964","unstructured":"Sutherland, I.E.: Sketch pad a man-machine graphical communication system. In: DAC 1964: Proceedings of the SHARE design automation workshop, pp. 6.329\u20136.346. ACM Press, New York (1964)"},{"issue":"1","key":"8_CR23","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/225540.225543","volume":"18","author":"B. Zanden Vander","year":"1996","unstructured":"Vander Zanden, B.: An incremental algorithm for satisfying hierarchies of multiway dataflow constraints. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a018(1), 30\u201372 (1996)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Wein, R.: Exact and efficient construction of planar Minkowski sums using the convolution method. In: Proceedings of the 14th Annual European Symposium on Algorithms, September 2006, pp. 829\u2013840 (2006)","DOI":"10.1007\/11841036_73"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87730-1_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:45:57Z","timestamp":1619523957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87730-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540877295","9783540877301"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87730-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}