LW
AI Constraint Satisfaction, System Design Documentation