Synopsys (United States)
🇺🇸 US
Papers
2
Total Citations
29
H-Index
2
Researchers
2
About
No biography available yet.
Research Focus
Computer science2 · 29 citations
Artificial intelligence1 · 16 citations
Boolean satisfiability problem1 · 16 citations
Theoretical computer science1 · 16 citations
Discrete mathematics1 · 16 citations
Mathematics1 · 16 citations
Modulo1 · 16 citations
Motion (physics)1 · 16 citations
Motion planning1 · 16 citations
Satisfiability1 · 16 citations
Key Achievements
2
H-Index
2
Papers
29
Total Citations
2
Faculty & Researchers
🏆 Most Cited Paper
Motion planning with Satisfiability Modulo Theories
16 citations · 2014
📊 Avg Citations/Paper: 15
📈 Most Prolific Year: 2014 (1)
🔬 Research Focus: Computer science, Artificial intelligence, Boolean satisfiability problem, Theoretical computer science, Discrete mathematics, Mathematics
Top Papers
- 1Motion planning with Satisfiability Modulo Theories16 citations · 2014
- 2The AFTA coronagraph instrument13 citations · 2013
Faculty & Researchers
…
Not generated yet