Constraint satisfaction in prolog: Complexity and theory-based heuristics

• 1 March 1995
• journal article
• Published by Elsevier in Information Sciences
• Vol. 83  (3-4) , 113-131
• https://doi.org/10.1016/0020-0255(94)00080-u

Abstract

Keywords

• CONSTRAINT SATISFACTION
• THEORY-BASED HEURISTICS
• CONSTRAINT SATISFACTION PROBLEM
• RELATIONAL DATABASE