Papers
4
Total Citations
299
H-Index
2
About
No biography available yet.
Research Focus
Computer science4 · 299 citations
Algorithm2 · 295 citations
Artificial intelligence3 · 291 citations
Boolean satisfiability problem1 · 287 citations
Programming language1 · 287 citations
Answer set programming1 · 287 citations
Set (abstract data type)1 · 287 citations
Logic programming1 · 287 citations
Satisfiability1 · 287 citations
Theoretical computer science1 · 287 citations
Relaxation (psychology)1 · 8 citations
Computer hardware1 · 8 citations
Key Achievements
2
H-Index
4
Papers
299
Total Citations
75
Avg Citations/Paper
🏆 Most Cited Paper
Algorithms for the satisfiability (SAT) problem: A survey
287 citations · 1997
📈 Most Prolific Year: 2022 (2 Papers)
🤝 Key Collaborators: 9
🏛 Institutions: University of Calgary, University of Utah, Shanghai University
Top Papers
- 1Algorithms for the satisfiability (SAT) problem: A survey287 citations · 1997
- 2A pipelined architecture for parallel image relaxation operations8 citations · 1987
- 3How Can AI and Robots Go Hand in Hand?2 citations · 2022
- 4OmniWheg: An Omnidirectional Wheel-Leg Transformable Robot2 citations · 2022
Key Collaborators
Not generated yet