Constraint learning

"Intelligent Planning: A Decomposition and Abstraction Based Approach" "Constraint-Based Design Recovery for Software Reengineering: Theory and Experiments

INTEGER NOT NULL, CONSTRAINT invoice_pk PRIMARY KEY(InvoiceNumber), CONSTRAINT inumber_value CHECK (InvoiceNumber > 0), CONSTRAINT supplier_fk FOREIGN

智能回溯的早期研究。截至2009年，斯托曼和萨斯曼介绍的技术仍然是智能回溯中最通用和最强大的解释。有关约束记录（英语：Constraint learning）（constraint recording）的技术也在该论文中被提及。 作为MIT计算机科学与人工智能实验室的黑客，斯托曼从事软件项目，如文

doi:10.1145/1667053.  Bulatov, Andrei A. The complexity of the counting constraint satisfaction problem. Journal of the ACM (Association for Computing Machinery

Psychology: Learning, Memory, and Cognition. 1984, 10 (4): 680–698. doi:10.1037/0278-7393.10.4.680.  Forster, K.I.; Davis, C. The density constraint on form-priming