SAT v CSP 论文

2000Lecture notes in computer science引用 232
Constraint Satisfaction and OptimizationLogic, Reasoning, and KnowledgeAI-based Problem Solving and Planning