William N. N. Hung

Synopsys (United States)

Papers

1

Total Citations

16

H-Index

1

About

No biography available yet.

Research Focus

Algorithm1 · 16 citations
Artificial intelligence1 · 16 citations
Boolean satisfiability problem1 · 16 citations
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
Theoretical computer science1 · 16 citations

Key Achievements

1
H-Index
1
Papers
16
Total Citations
16
Avg Citations/Paper
🏆 Most Cited Paper
Motion planning with Satisfiability Modulo Theories
16 citations · 2014
📈 Most Prolific Year: 2014 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Synopsys (United States)

Top Papers

  1. 1
    Motion planning with Satisfiability Modulo Theories
    16 citations · 2014

Key Collaborators

JZJie Zhang1 shared papersXLXiaojuan Li1 shared papersPGPeng Gao1 shared papersRWRui Wang1 shared papersXSXiaoyu Song1 shared papersJTJindong Tan1 shared papers
Not generated yet