Benjamin W. Wah
Papers
1
Total Citations
287
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 287 citations
Answer set programming1 · 287 citations
Artificial intelligence1 · 287 citations
Boolean satisfiability problem1 · 287 citations
Computer science1 · 287 citations
Logic programming1 · 287 citations
Programming language1 · 287 citations
Satisfiability1 · 287 citations
Set (abstract data type)1 · 287 citations
Theoretical computer science1 · 287 citations
Key Achievements
1
H-Index
1
Papers
287
Total Citations
287
Avg Citations/Paper
🏆 Most Cited Paper
Algorithms for the satisfiability (SAT) problem: A survey
287 citations · 1997
📈 Most Prolific Year: 1997 (1 Papers)
🤝 Key Collaborators: 3
Top Papers
- 1Algorithms for the satisfiability (SAT) problem: A survey287 citations · 1997
Key Collaborators
Not generated yet