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.
Home | Personal | Research | Publications | Projects | Meetings | Activities | Teaching | People | Links