Sotabase

Career

· Professor (Associate Professor), University of Waterloo2022–

Publications (72)

224
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
ACM Symposium on Parallelism in Algorithms and Architectures · 1990
71
cited
71
cited
Theoretical Computer Science · 2015
59
cited
55
cited
Journal of combinatorial optimization · 2014
52
cited
46
cited
Acta Informatica · 2006
46
cited
International Symposium on Parameterized and Exact Computation · 2014
44
cited
International Symposium on Algorithms and Computation · 2014
43
cited
International Symposium on Parameterized and Exact Computation · 2014
37
cited
Sotabase