Toby Walsh
School of Computer Science and Engineering
University of New South Wales
Sydney
Australia
tw@cse.unsw.edu.au
   

Home
Personal
Research
Publications
Projects
Meetings
Activities
Teaching
People
Links

       
CSPLib:
The benchmark library for constraints.

Global constraints:
Lecture nodes and background reading from a course taught in Padova, June 2006.

Constraint Patterns:
The constraint patterns repository.

Ethics:
A page of resources about ethics in computer science.

PhD skills:
A page of resources about skills to learn as a PhD student (writing papers, reviewing papers, writing a thesis, getting grants, ...).

CoLogNet:
I am Area Coordinator for Automated Reasoning within this European Network of Excellence.

Modelling and non-binary constraints:
A page of resources about modelling and non-binary constraints. Materials were used on a lecture course at Padova, April 2002.

ATP:
A page of resources about automatic theorem proving.

Empirical Methods:
A page of resources about empirical methods in AI and CS.

Google:
It used to be the best search engine (but heck, I said that about AltaVista once).

APES:
A very active research group in constraints to which I belong.

ConsNet:
The Network of UK Constraint Researchers.

ASTRA:
The ASTRA group (Analysis, Synthesis, and Transformation/Reformulation of Algorithms in constraint programming) with whom I have recently worked.

Satisfiability:
A collection of papers and survey articles about SAT.

4C Server:
Web forms to update 4C server.

tw@cse.unsw.edu.au
   
Home | Personal | Research | Publications | Projects | Meetings | Activities | Teaching | People | Links