메뉴 건너뛰기




Volumn 2006, Issue , 2006, Pages 63-72

Solving topological constraints for declarative families of objects

Author keywords

Declarative specification; Families of objects; Parametric and feature based modelling; Satisfiability; Topological constraints

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL GEOMETRY; COMPUTER AIDED DESIGN; MATHEMATICAL MODELS; PROBLEM SOLVING; TOPOLOGY;

EID: 33745945064     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1128888.1128896     Document Type: Conference Paper
Times cited : (4)

References (16)
  • 4
    • 20444492029 scopus 로고    scopus 로고
    • Efficiency of boundary evaluation for a cellular model
    • BIDARRA, R., MADEIRA, J., NEELS, W., AND BRONSVOORT, W. F. 2005. Efficiency of boundary evaluation for a cellular model. Computer-Aided Design 37, 12, 1266-1284.
    • (2005) Computer-aided Design , vol.37 , Issue.12 , pp. 1266-1284
    • Bidarra, R.1    Madeira, J.2    Neels, W.3    Bronsvoort, W.F.4
  • 6
    • 30344450270 scopus 로고    scopus 로고
    • An extensible SAT solver
    • 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.
    • EEN, N., AND SÖRENSSON, 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.
    • (2004) Lecture Notes in Computer Science , vol.2919
    • Een, N.1    Sörensson, N.2
  • 8
    • 0032178336 scopus 로고    scopus 로고
    • Boundary representation deformation in parametric solid modeling
    • RAGHOTHAMA, S., AND SHAPIRO, V. 1998. Boundary representation deformation in parametric solid modeling. ACM Transactions on Graphics 17, 4, 259-286.
    • (1998) ACM Transactions on Graphics , vol.17 , Issue.4 , pp. 259-286
    • Raghothama, S.1    Shapiro, V.2
  • 14


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.