Sotabase

Career

· Professor, University of Waterloo

Publications (58)

ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing · 1984
180
cited
Detecting Backdoor Sets with Respect to Horn and Binary Clauses
International Conference on Theory and Applications of Satisfiability Testing · 2004
95
cited
Scandinavian Workshop on Algorithm Theory · 2000
90
cited
71
cited
55
cited
28th Annual Symposium on Foundations of Computer Science (sfcs 1987) · 1987
50
cited
49
cited
Acta Informatica · 2006
46
cited
Proceedings Fifth Annual Structure in Complexity Theory Conference · 1990
33
cited
On-line target searching in bounded and unbounded domains
1996
32
cited
Information Processing Letters · 1991
27
cited
On the parameterized complexity of the generalized rush hour puzzle
Canadian Conference on Computational Geometry · 2003
25
cited
21
cited
Sotabase
Prabhakar Ragde | Researcher Profile | Sotabase | Sotabase