Talk:Constraint satisfaction

What must we add here:


 * Kinds of constraints satisfaction problems: Continuous (Operations Research) and discrete (Constraint Programming)


 * Classification of constraints as binary or N-ary
 * Binarization of constraints


 * Algorithms
 * for binary constraints
 * for N-ary constraints
 * Forward Checking
 * Dynamic Backtracking
 * etc

--Jorge 21:07, 24 January 2007 (UTC)
 * Software for Constraint Programming
 * Rule based systems (ART*Enterprise, etc)
 * Libraries
 * etc