Toby Walsh

Toby Walsh is a British computer scientist who is Chief Scientist at UNSW.ai, the AI Institute of UNSW Sydney. He is a Laureate fellow, and professor of artificial intelligence in the UNSW School of Computer Science and Engineering at the University of New South Wales and Data61 (formerly NICTA). He has served as Scientific Director of NICTA, Australia's centre of excellence for ICT research. He is noted for his work in artificial intelligence, especially in the areas of social choice, constraint programming and propositional satisfiability. He has served on the Executive Council of the Association for the Advancement of Artificial Intelligence. Provided by Wikipedia
Showing 1 - 8 results of 8 for search 'Walsh, Toby', query time: 0.02s Refine Results
  1. 1
    Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings /
    Published 2001
    Other Authors: “…Walsh, Toby…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings /
    Published 2015
    Other Authors: “…Walsh, Toby…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    SAT 2005 Satisfiability Research in the Year 2005
    by Giunchiglia, Enrico
    Published 2006
    Other Authors: “…Walsh, Toby…”
    Get full text
    Electronic Kit Book
  4. 4
    SAT 2005 Satisfiability Research in the Year 2005 /
    Published 2006
    Other Authors: “…Walsh, Toby…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /
    Published 2017
    Other Authors: “…Walsh, Toby…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings /
    Published 2005
    Other Authors: “…Walsh, Toby…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Abstraction, Reformulation, and Approximation 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings /
    Published 2000
    Other Authors: “…Walsh, Toby…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Workshop on Modeling and Solving Problems with Constaints : proceedings Monday July 21, 2008 Patras, Greece /
    Published 2008
    Other Authors: “…Walsh, Toby…”
    Conference Proceeding Book
Search Tools: RSS Feed – Email Search