Constraint-based Synthesis
Constraint-Based Synthesis is a method within kinematic synthesis that formulates the design of mechanical systems by defining and solving geometric and motion-related constraints to achieve desired functionality.
218
Publications
9.8K
Citations
478
Authors
206
Institutions
Publications per year
2017–2026
31
Parents
218
Oracle-guided component-based program synthesis
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia et al. · 2010 · 479 citations
1–5 of 218
478
7
h-index
7
h-index
6
h-index
5
h-index
University of California, Los Angeles, United States
5 publications · 393 citations
5
h-index
1–5 of 478
206
Stony Brook University
Stony Brook, United States
10 h-index
20 publications
732 citations

Yanshan University
Qinhuangdao, China
10 h-index
36 publications
2.4K citations
Massachusetts Institute of Technology
Cambridge, United States
10 h-index
26 publications
1.1K citations
University of California, Irvine
Irvine, United States
8 h-index
20 publications
699 citations
King's College London
London, United Kingdom
8 h-index
12 publications
567 citations
Carnegie Mellon University
Pittsburgh, United States
7 h-index
10 publications
448 citations
University College London
London, United Kingdom
6 h-index
8 publications
487 citations

University of London
London, United Kingdom
6 h-index
8 publications
517 citations
1–8 of 206
24 publications · 919 citations
17
h-index
17 publications · 926 citations
14
h-index
14 publications · 530 citations
13
h-index
7 publications · 288 citations
7
h-index
TOG · 6 publications · 540 citations
6
h-index
1–5