@TechReport{	  it:2003-014,
  author	= {Brahim Hnich and Julian Richardson and Pierre Flener},
  title		= {Towards Automatic Generation and Evaluation of Implied
		  Constraints},
  institution	= {Department of Information Technology, Uppsala University},
  department	= {Computing Science Division},
  year		= {2003},
  number	= {2003-014},
  month		= mar,
  abstract	= {Adding appropriate implied constraints can dramatically
		  improve the computational behaviour of a constraint solver
		  on the augmented set of constraints. We briefly document
		  experiments we made with PRESS and clp(q,r) for generating
		  implied constraints.
		  
		  This report is an excerpt (namely Sections 5.1, 5.2, and
		  5.3, which are included verbatim apart from minor cosmetic,
		  non-technical corrections) from an unfinished technical
		  report written in August 2000, and thus (finally) provides
		  a citable, published reference to that work.}
}