An open-ended finite domain constraint solver 论文

1997Lecture notes in computer science引用 296
Natural Language Processing TechniquesConstraint Satisfaction and OptimizationLogic, Reasoning, and Knowledge