Optimising Quantified Expressions in Constraint Models Ian Gent, Ian Miguel, and Andrea Rendl University of St Andrews School of Computer Science, North Haugh, St Andrews, Scotland, UK ipg,ianm,

First Page		Document Content
Date: 2013-08-29 08:24:32 Sudoku algorithms Constraint programming Declarative programming Exact cover		Optimising Quantified Expressions in Constraint Models Ian Gent, Ian Miguel, and Andrea Rendl University of St Andrews School of Computer Science, North Haugh, St Andrews, Scotland, UK ipg,ianm, Add to Reading List Source URL: andrearendl.com Download Document from Source Website File Size: 397,75 KB Share Document on Facebook