in reply to Logical Equations
If I remember my studies correctly, then this should be a CSP: http://en.wikipedia.org/wiki/Constraint_satisfaction_problem
The Wikipedia page also mentions ideas on how to solve these problems, for example backtracking: http://en.wikipedia.org/wiki/Backtracking
|
|---|