Sotabase

Career

· Ronald C. and Antonia V. Nielsen Professor of Computing and Information Science, Cornell University2010–
· Associate Professor, Cornell University2003–2010
· Director, Intelligent Information Systems Institute, Cornell University2001–2008
· Research Assistant, Cornell University1998–2000
· Researcher, Air Force Research Laboratory1993–1998
· PhD in Computer Science, University of Edinburgh1993–
· Teaching Assistant, University of Edinburgh1990–1992
· Research Analyst, Air Portugal1987–1989
· M.Sc. in Applied Mathematics, Technical University of Lisbon1987–
· Bachelor's degree, University of Lisbon1982–

Publications (261)

997
cited
Boosting Combinatorial Search Through Randomization
AAAI/IAAI · 1998
723
cited
Neural Information Processing Systems · 2018
711
cited
Artificial Intelligence · 2001
500
cited
Backdoors To Typical Case Complexity
International Joint Conference on Artificial Intelligence · 2003
389
cited
Handbook of Knowledge Representation Edited Satisfiability Solvers
219
cited
International Conference on Principles and Practice of Constraint Programming · 1997
199
cited
Generating Satisfiable Problem Instances
AAAI/IAAI · 2000
192
cited
Handbook of Satisfiability · 2009
190
cited
Model Counting: A New Strategy for Obtaining Good Bounds
AAAI Conference on Artificial Intelligence · 2006
169
cited
Problem Structure in the Presence of Perturbations
AAAI/IAAI · 1997
159
cited
Dynamic restart policies
AAAI/IAAI · 2002
150
cited
Sotabase