H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 66 Citations 20,702 284 World Ranking 1059 National Ranking 22

Research.com Recognitions

Awards & Achievements

2020 - ACM Fellow For contributions to artificial intelligence

Overview

What is he best known for?

The fields of study he is best known for:

  • Artificial intelligence
  • Algorithm
  • Programming language

Toby Walsh mostly deals with Mathematical optimization, Artificial intelligence, Algorithm, Constraint satisfaction and Constraint satisfaction problem. His Mathematical optimization research is multidisciplinary, incorporating elements of Computational complexity theory, Graph, Local consistency and Conjecture. His biological study spans a wide range of topics, including Discrete mathematics and Backtracking.

Toby Walsh combines subjects such as Programming language, Voting, Heuristics and True quantified Boolean formula with his study of Artificial intelligence. His study in the field of Satisfiability, Unit propagation and Iterative deepening depth-first search is also linked to topics like Branching. Toby Walsh has researched Constraint satisfaction in several fields, including Measure and Constraint programming.

His most cited work include:

  • Handbook of Constraint Programming (1017 citations)
  • Handbook of satisfiability (505 citations)
  • A theory of abstraction (293 citations)

What are the main themes of his work throughout his whole career to date?

His scientific interests lie mostly in Mathematical optimization, Theoretical computer science, Algorithm, Artificial intelligence and Local consistency. His Mathematical optimization research incorporates themes from Constraint programming, Consistency, Constraint satisfaction dual problem, Constraint satisfaction and Constraint satisfaction problem. His studies in Theoretical computer science integrate themes in fields like Computational complexity theory, Simple, Voting and Set.

The study incorporates disciplines such as Social choice theory and Mathematical economics in addition to Voting. His Time complexity, Satisfiability and Boolean satisfiability problem study are his primary interests in Algorithm. Much of his study explores Artificial intelligence relationship to Machine learning.

He most often published in these fields:

  • Mathematical optimization (26.86%)
  • Theoretical computer science (18.02%)
  • Algorithm (17.14%)

What were the highlights of his more recent work (between 2014-2021)?

  • Fair division (7.07%)
  • Mathematical optimization (26.86%)
  • Mathematical economics (9.89%)

In recent papers he was focusing on the following fields of study:

His main research concerns Fair division, Mathematical optimization, Mathematical economics, Artificial intelligence and Operations research. His Fair division research includes themes of Computational complexity theory, Simple, Competitive analysis and Data science. His research integrates issues of Time complexity, Outcome and Total cost in his study of Mathematical optimization.

His Time complexity research incorporates elements of Assignment problem and Theoretical computer science. His work in Artificial intelligence is not limited to one particular discipline; it also encompasses Marketing. His research in Operations research intersects with topics in Scheduling and Voting.

Between 2014 and 2021, his most popular works were:

  • Justified representation in approval-based committee voting (101 citations)
  • Computational Aspects of Multi-Winner Approval Voting (88 citations)
  • Verifying Properties of Binarized Deep Neural Networks. (64 citations)

In his most recent research, the most cited papers focused on:

  • Artificial intelligence
  • Algorithm
  • Programming language

His primary areas of investigation include Mathematical economics, Artificial intelligence, Fair division, Mathematical optimization and Theoretical computer science. His work deals with themes such as Impossibility, Anti-plurality voting, Axiom and Voting, which intersect with Mathematical economics. He combines topics linked to Boolean satisfiability problem with his work on Artificial intelligence.

He focuses mostly in the field of Fair division, narrowing it down to topics relating to Competitive analysis and, in certain cases, Price of anarchy, Simple, Online model and Advice. The various areas that Toby Walsh examines in his Mathematical optimization study include Computational complexity theory, Stability, Resource allocation and Reduction. He combines subjects such as Small number, Time complexity, Structure, Control and Constraint learning with his study of Theoretical computer science.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Top Publications

Handbook of Constraint Programming

Francesca Rossi;Peter van Beek;Toby Walsh.
(2006)

2383 Citations

Handbook of satisfiability

Armin Biere;Marijn Heule;Hans van Maaren;Toby Walsh.
(2009)

2110 Citations

Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications

A. Biere;M. Heule;H. van Maaren;T. Walsh.
(2009)

2007 Citations

A theory of abstraction

Fausto Giunchiglia;Toby Walsh.
Artificial Intelligence (1992)

496 Citations

SATLIB: An Online Resource for Research on SAT

Holger H. Hoos;Thomas Stützle;I. Gent;H. Van Maaren.
theory and applications of satisfiability testing (2000)

408 Citations

Handbook of Constraint Programming (Foundations of Artificial Intelligence)

Francesca Rossi;Peter van Beek;Toby Walsh.
(2006)

404 Citations

SAT v CSP

Toby Walsh.
principles and practice of constraint programming (2000)

398 Citations

CSPLIB: A Benchmark Library for Constraints

Ian P. Gent;Toby Walsh.
principles and practice of constraint programming (1999)

359 Citations

Search in a Small World

Toby Walsh.
international joint conference on artificial intelligence (1999)

357 Citations

Towards an understanding of hill-climbing procedures for SAT

Ian P. Gent;Toby Walsh.
national conference on artificial intelligence (1993)

326 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

If you think any of the details on this page are incorrect, let us know.

Contact us

Top Scientists Citing Toby Walsh

Peter J. Stuckey

Peter J. Stuckey

Monash University

Publications: 80

Piotr Faliszewski

Piotr Faliszewski

AGH University of Science and Technology

Publications: 72

Francesca Rossi

Francesca Rossi

IBM (United States)

Publications: 57

Joao Marques-Silva

Joao Marques-Silva

Centre national de la recherche scientifique, CNRS

Publications: 55

Carla P. Gomes

Carla P. Gomes

Cornell University

Publications: 51

Ian P. Gent

Ian P. Gent

University of St Andrews

Publications: 46

Jérôme Lang

Jérôme Lang

Paris Dauphine University

Publications: 44

Stefan Szeider

Stefan Szeider

TU Wien

Publications: 44

Bart Selman

Bart Selman

Cornell University

Publications: 41

Holger H. Hoos

Holger H. Hoos

Leiden University

Publications: 39

Torsten Schaub

Torsten Schaub

University of Potsdam

Publications: 38

Alan Bundy

Alan Bundy

University of Edinburgh

Publications: 36

Pascal Van Hentenryck

Pascal Van Hentenryck

Georgia Institute of Technology

Publications: 35

Edith Elkind

Edith Elkind

University of Oxford

Publications: 33

Simon Colton

Simon Colton

Queen Mary University of London

Publications: 31

Something went wrong. Please try again later.