Sotabase

Career

· Co-founder and Principal Investigator, University of California, Berkeley2016–
· Professor, Cornell University1997–
· Research Scientist, AT&T Bell Laboratories1990–1997
· Course Instructor, University of Toronto1989–
· Teaching Assistant, University of Toronto1986–1989
· PhD in Computer Science, University of Toronto1985–1991
· MS in Computer Science, University of Toronto1983–1985
· M.Sc. in Physics, Delft University of Technology1979–1983

Publications (316)

Hard and Easy Distributions of SAT Problems
AAAI Conference on Artificial Intelligence · 1992
1,174
cited
Planning as Satisfiability
European Conference on Artificial Intelligence · 1992
1,171
cited
A New Method for Solving Hard Satis ability Problems
1992
1,168
cited
Pushing the Envelope: Planning, Propositional Logic and Stochastic Search
AAAI/IAAI, Vol. 2 · 1996
1,067
cited
Referral Web: combining social networks and collaborative filtering
CACM · 1997
1,003
cited
Noise Strategies for Improving Local Search
AAAI Conference on Artificial Intelligence · 1994
996
cited
Local search strategies for satisfiability testing
Cliques, Coloring, and Satisfiability · 1993
768
cited
Determining computational complexity from characteristic ‘phase transitions’
Nature · 1999
746
cited
Boosting Combinatorial Search Through Randomization
AAAI/IAAI · 1998
723
cited
Understanding Batch Normalization
Neural Information Processing Systems · 2018
711
cited
Critical Behavior in the Satisfiability of Random Boolean Expressions
Science · 1994
582
cited
Unstructured human activity detection from RGBD images
IEEE International Conference on Robotics and Automation · 2011
574
cited
Unifying SAT-based and Graph-based Planning
International Joint Conference on Artificial Intelligence · 1999
568
cited
Algorithm portfolios
Artificial Intelligence · 2001
500
cited
Evidence for Invariants in Local Search
AAAI/IAAI · 1997
451
cited
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
Journal of automated reasoning · 2000
446
cited
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems
International Joint Conference on Artificial Intelligence · 1993
405
cited
Backdoors To Typical Case Complexity
International Joint Conference on Artificial Intelligence · 2003
389
cited
Knowledge compilation and theory approximation
JACM · 1996
360
cited
Human Activity Detection from RGBD Images
Plan, Activity, and Intent Recognition · 2011
358
cited
Sotabase