Technical Reports
| Search WWW | |
| Search CP Pod |
CPPod-26-2008:
Constraint Models for Graceful Graphs
Barbara M. Smith and and Jean-François Puget. October 2008.
CPPod-25-2008:
Dual Formulations of Magic Squares
Barbara M. Smith. July 2008.
CPPod-24-2008:
The AllDifferent Constraint: Exploiting Strongly-Connected Components and Other Efficiency Measures
Ian P. Gent, Ian Miguel and Peter Nightingale. June 2008.
CPPod-23-2007:
A Constraint-based Approach to Enigma 1225
Hadrien Cambazard, Barry O'Sullivan and Barbara M. Smith. September 2007.
CPPod-19-2006-A:
Data Structures for Generalised Arc Consistency for Extensional Constraints
Ian P. Gent, Ian Miguel, Peter Nightingale. March 2007. Updated version of CPPod-19-2006, which has erroneous graphs.
CPPod-22-2007:
Constraint Symmetry for the Soft CSP
Barbara M. Smith, Stefano Bistarelli, and Barry O'Sullivan. January 2007.
CPPod-21-2006:
Search in the Patience Game `Black Hole'
Ian P. Gent, Chris Jefferson, Tom Kelsey, Ines Lynce, Ian Miguel, Peter Nightingale,
Barbara M. Smith and S. Armagan Tarim. December 2006. To appear in AI Communications. Updated version of
CPPod report 10.
CPPod-20-2006:
Constraint Programming Models for Solitaire Battleships
Barbara M. Smith. November 2006.
CPPod-19-2006:
Data Structures for Generalised Arc Consistency for Extensional Constraints
Ian P. Gent, Ian Miguel, Peter Nightingale. September 2006.
CPPod-18-2006:
Constraint Programming Models for Graceful Graphs
Barbara M. Smith. May 2006. (Submitted to CP 2006)
CPPod-17-2006:
Watched Literals for Constraint Propagation in Minion
Ian P. Gent, Chris Jefferson, Ian Miguel. April 2006. (Slightly revised from a CP 2006 submission)
CPPod-16-2006:
Strong Consistency for Quantified CSPs
Peter Nightingale. April 2006. (Submitted to CP 2006)
CPPod-15-2006:
GAPLex: Combining Static and Dynamic Symmetry Breaking
Chris Jefferson, Tom Kelsey, Steve Linton, and Karen Petrie. April 2006. (Submitted to CP 2006)
CPPod-14-2006:
Maintaining Singleton Arc-Consistency
Christophe Lecoutre and Patrick Prosser. April 2006. (Submitted to CP 2006)
CPPod-13-2006:
Rooted Tree and Spanning Tree Constraints
Patrick Prosser and Chris Unsworth. April 2006. (Submitted to an ECAI 2006 workshop)
CPPod-12-2006:
Enforcing Connectivity in a Fixed Degree Graph: A Constraint Programming Case Study
J. Christopher Beck, Kenneth N. Brown, Ian Miguel, Patrick Prosser. April 2006. (Submitted to CP 2006)
CPPod-11-2005:
Consistency for Quantified Constraint Satisfaction Problems
Peter Nightingale. July 2005. (Submitted to CP 2005, accepted as poster)
CPPod-10-2005:
Search in the Patience Game "Black Hole".
Ian Gent, Christopher Jefferson, Ines Lynce, Ian Miguel,
Peter Nightingale, Barbara Smith, Armagan Tarim. May 2005.
CPPod-9-2004:
An empirical investigation of value ordering for finding all
solutions.
Barbara Smith and Paula Sturdy. October 2004. (A slightly revised
version of a paper presented at the ECAI 2004
workshop on Modelling and Solving Problems with
Constraints.)
CPPod-8-2004:
A New Encoding of AllDifferent into SAT.
Peter Nightingale and Ian Gent. September 2004. (Presented at the
CP04 Workshop on Modelling and Reformulating
Constraint Satisfaction Problems.)
CPPod-7-2004:
Approaches to Conditional Symmetry Breaking.
Ian P. Gent, Iain McDonald, Ian Miguel and Barbara M. Smith.
September 2004. (Presented at the SymCon'04 Workshop.)
CPPod-6-2004:
Solving the Rehearsal Problem with Planning and with Model
Checking.
Peter Gregory, Alice Miller and Patrick Prosser. August 2004.
(Presented at the ECAI 2004 workshop on Modelling
and Solving Problems with Constraints.)
CPPod-5-2004:
Combining SBDS and SBDD
Karen E. Petrie. July 2004.
(Also appears as report APES-86-2004.)
CPPod-4-2004:
Trying Again to Fail-First
Chris Beck, Patrick Prosser and Rick Wallace. June 2004.
(Presented at the ERCIM/CoLogNet Workshop
on Constraint Solving and Constraint Logic Programming.)
CPPod-3-2004:
Dynamic Symmetry Breaking in Constraint Programming and Linear
Programming
Hybrids
Karen E. Petrie, Barbara Smith and Neil Yorke-Smith.
February 2004. (Also appears as report APES-81-2004.)
CPPod-2-2004:
Solution Learning and Solution Directed Backjumping, Revisited
Ian
Gent and Andrew Rowley. February 2004.
(Also appears as report APES-80-2004.)
CPPod-1-2004:
Encoding Quantified CSPs as Quantified Boolean Formulae
Ian
Gent,
Peter Nightingale, and Andrew Rowley. February 2004. (Also appears
as report APES-79-2004.)
Home | People | Links | Projects | Reports | Resources
Page last updated: Sunday 19 May 2013 at 12:18:31