.png){kind=icon}
.png){kind=icon}
Return
CONSTRAINT SATISFACTION USING CONSTRAINT LOGIC PROGRAMMING
.png){kind=icon}
OA
AI
DOI：10.1016/0004-3702(92)90006-J.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Constraint logic programming (CLP) is a new class of declarative programming languages whose primitive operations are based on constraints (e.g. constraint solving and constraint entailment). CLP languages naturally combine constraint propagation with nondeterministic choices. As a consequence, they are particularly appropriate for solving a variety of combinatorial search problems, using the global search paradigm, with short development time and efficiency comparable to procedural tools based on the same approach. In this paper, we describe how the CLP language cc(FD), a successor of CHIP using consistency techniques over finite domains, can be used to solve two practical applications: test-pattern generation and car sequencing. For both applications, we present the cc(FD) program, describe how constraint solving is performed, report experimental results, and compare the approach with existing tools.
Keywords:
IMPLICIT ENUMERATION ALGORITHM
COMBINATORIAL PROBLEMS
TEST-GENERATION
SIMULATION
LANGUAGE
CONSISTENCY
CIRCUITS
NETWORKS
PROLOG
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
13.9
Papers:
6.1K
Citations:
1.9W
Organization
No organization information available