Patrick Prosser
Home
Personal
Publications
Research
Activities
Teaching
People
Links
Family
Presentations
CP2015 Talk "Match Race Schedules"
(pdf) "
CP2015 Workshop on Teaching Constraint Programming
(pdf)
FATA Talk "Simple algorithms for SIP"
CP2014 Talk "Teaching Constraint Programming"
FATA talk on maximum clique 2011
Cakes Talk on ADS2 2012
Teacher Talk 2011
Glasgow (with
demos)
Teaching ADS2
Glasgow 2010
Teaching CP in Scotland
St. Andrews September 2010
The 2007 DCS Lecture
on how to solve it
ILOG Presentation
on problem reformulation and search, October 2001
Where are the hard problems
a 4th year algorithms lecture
Constraint Satisfaction Presentations
An introduction
10 minute cake talk at Glasgow
An introduction
4th year AI lecture in Glasgow
Conflict Directed Backjumping
4th year AI lecture in St Andrews
10 Years of Conflict Directed Backjumping
at 4C in Cork, May 2003
Teaching Programming
A Glasgow cakes talk.
What makes vibrant & innovative research
presented at Glasgow away day.
How to get out of apes
A brief history of the APES research group.
The Stable Marriage Problem
Constraint Programming and the Stable Marriage Problem
The 4th ScotNet meeting
A Constraint Programming Approach to the Stable Marriage Problem
At
CP01
An Empirical Study of the Stable Marriage with Ties and Incomplete Lists
at
ECAI2002
Artificial Intelligence
Where are all the robots?
a 4th year lecture
Maximal Independent Sets
Open Problem
A FATA open problem presentation. 5 minutes
Constraint encoding of maximality
A FATA presentation (40 minutes)
Constraint encoding of maximality
IJCAI01 workshop presentation
Learning using maximality
April Fool's presentation at St Andrews, 2003
Problem Reformulation
0/1 Encodings
ERCIM 2002 at 4C Cork
Triangle Packing with Constraint Programming
at ModRef2010
Configuration Problems
A Student Advisory System
ECAI 2002 workshop W4
Building Species Trees
Species Trees and Constraint Programming
APES meeting November 2002, 4C, Cork
Species Trees and Constraint Programming
, York, March 2004
Recent Progress
, CP06 workshop on Bioinformatics
CPPod Meeting
First CPPod Audit
April 2004
A CP encoding of the 8puzzle
Copyright ©
Patrick Prosser
2000.