{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:52Z","timestamp":1750307992053,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,6,6]],"date-time":"2006-06-06T00:00:00Z","timestamp":1149552000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,6,6]]},"DOI":"10.1145\/1128888.1128896","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"63-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Solving topological constraints for declarative families of objects"],"prefix":"10.1145","author":[{"given":"Hilderick A.","family":"van der Meiden","sequence":"first","affiliation":[{"name":"Delft University of Technology, CD Delft, The Netherlands"}]},{"given":"Willem F.","family":"Bronsvoort","sequence":"additional","affiliation":[{"name":"Delft University of Technology, CD Delft, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2006,6,6]]},"reference":[{"volume-title":"CDROM Proceedings DECT-2005","author":"Bettig B.","key":"e_1_3_2_1_1_1","unstructured":"Bettig , B. , Bapat , V. , and Bharadwaj , B . 2005. Limitations of parametric operators for supporting systematic design . In CDROM Proceedings DECT-2005 , ASME International Design Engineering Technical Conferences, September 24--28, Long Beach, California, USA, ASME. Bettig, B., Bapat, V., and Bharadwaj, B. 2005. Limitations of parametric operators for supporting systematic design. In CDROM Proceedings DECT-2005, ASME International Design Engineering Technical Conferences, September 24--28, Long Beach, California, USA, ASME."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0010-4485(99)00090-1"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of Geometric Modeling and Processing","author":"Bidarra R.","year":"2000","unstructured":"Bidarra , R. , and Bronsvoort , W. F . 2000. On families of objects and their semantics . In Proceedings of Geometric Modeling and Processing 2000 , April 10 --12, Hong Kong, China, IEEE Computer Society, 101--111. Bidarra, R., and Bronsvoort, W. F. 2000. On families of objects and their semantics. In Proceedings of Geometric Modeling and Processing 2000, April 10--12, Hong Kong, China, IEEE Computer Society, 101--111."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cad.2004.12.006"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1080\/16864360.2005.10738401"},{"key":"e_1_3_2_1_6_1","unstructured":"Een N. and \n      S\u00f6rensson N\n  . \n  2004\n  . An extensible SAT solver. In Theory and Applications of Satisfiability Testing 6th International Conference SAT 2003 Santa Margherita Ligure Italy May 5--8 2003 Selected Revised Papers Springer Verlag E. Giunchiglia and A. Tacchella Eds. vol. \n  2919\n   of \n  Lecture Notes in Computer Science\n  .  Een N. and S\u00f6rensson N. 2004. An extensible SAT solver. In Theory and Applications of Satisfiability Testing 6th International Conference SAT 2003 Santa Margherita Ligure Italy May 5--8 2003 Selected Revised Papers Springer Verlag E. Giunchiglia and A. Tacchella Eds. vol. 2919 of Lecture Notes in Computer Science."},{"volume-title":"Computational Complexity","author":"Papadimitriou C. H.","key":"e_1_3_2_1_7_1","unstructured":"Papadimitriou , C. H. 1995. Computational Complexity . Addison-Wesley . Papadimitriou, C. H. 1995. Computational Complexity. Addison-Wesley."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/293145.293148"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.1558073"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/267734.267749"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 1988 IFIP\/NSF Workshop on Geometric Modeling","author":"Rossignac J. R.","year":"1988","unstructured":"Rossignac , J. R. , and O'Connor , M. A. 1988 . SGC: a dimension-independent model for pointsets with internal structures and incomplete boundaries . In Proceedings of the 1988 IFIP\/NSF Workshop on Geometric Modeling , Renselaerville, New York, USA, M. Wozny, J. Turner, and K. Preiss, Eds., 145--180. Rossignac, J. R., and O'Connor, M. A. 1988. SGC: a dimension-independent model for pointsets with internal structures and incomplete boundaries. In Proceedings of the 1988 IFIP\/NSF Workshop on Geometric Modeling, Renselaerville, New York, USA, M. Wozny, J. Turner, and K. Preiss, Eds., 145--180."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/218013.218029"},{"volume-title":"Proceedings of ICCAD 1996, IEEE\/ACM International Conference on Computer-Aided Design, November 10--14","author":"Silva J. P.","key":"e_1_3_2_1_13_1","unstructured":"Silva , J. P. , and Sakalla , K. A . 1996. Grasp - a new search algorithm for satisfiability . In Proceedings of ICCAD 1996, IEEE\/ACM International Conference on Computer-Aided Design, November 10--14 , San Jose, California, USA, IEEE Computer Society Press, 220--227. Silva, J. P., and Sakalla, K. A. 1996. Grasp - a new search algorithm for satisfiability. In Proceedings of ICCAD 1996, IEEE\/ACM International Conference on Computer-Aided Design, November 10--14, San Jose, California, USA, IEEE Computer Society Press, 220--227."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cad.2005.05.001"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218195905001701"},{"volume-title":"Proceedings of ICCAD 2001, IEEE\/ACM International Conference on Computer-Aided Design, November 4--8","author":"Zhang L.","key":"e_1_3_2_1_16_1","unstructured":"Zhang , L. , Madigan , C. F. , Moskewicz , M. W. , and Malic , S . 2001. Efficient conflict driven learning in a boolean satisfiability solver . In Proceedings of ICCAD 2001, IEEE\/ACM International Conference on Computer-Aided Design, November 4--8 , San Jose, California, USA, IEEE Computer Society Press, 279--285. Zhang, L., Madigan, C. F., Moskewicz, M. W., and Malic, S. 2001. Efficient conflict driven learning in a boolean satisfiability solver. In Proceedings of ICCAD 2001, IEEE\/ACM International Conference on Computer-Aided Design, November 4--8, San Jose, California, USA, IEEE Computer Society Press, 279--285."}],"event":{"name":"SPM06: 2006 ACM Symposium on Solid and Physical Modeling","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques"],"location":"Cardiff, Wales United Kingdom","acronym":"SPM06"},"container-title":["Proceedings of the 2006 ACM symposium on Solid and physical modeling"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1128888.1128896","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1128888.1128896","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:17Z","timestamp":1750259177000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1128888.1128896"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,6]]},"references-count":16,"alternative-id":["10.1145\/1128888.1128896","10.1145\/1128888"],"URL":"https:\/\/doi.org\/10.1145\/1128888.1128896","relation":{},"subject":[],"published":{"date-parts":[[2006,6,6]]},"assertion":[{"value":"2006-06-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}