School of Computer Science and Engineering
University of New South Wales
The benchmark library for constraints.
Lecture nodes and background reading from a course taught in Padova, June 2006.
The constraint patterns repository.
A page of resources about ethics in computer science.
A page of resources about skills to learn as a PhD student (writing papers, reviewing papers, writing a thesis, getting grants, ...).
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.
A page of resources about automatic theorem proving.
A page of resources about empirical methods in AI and CS.
It used to be the best search engine (but heck, I said that about AltaVista once).
A very active research group in constraints to which I belong.
The Network of UK Constraint Researchers.
The ASTRA group (Analysis, Synthesis, and Transformation/Reformulation of Algorithms in constraint programming) with whom I have recently worked.
A collection of papers and survey articles about SAT.
Web forms to update 4C server.
Home | Personal | Research | Publications | Projects | Meetings | Activities | Teaching | People | Links