- See also
- References
In constraint satisfaction, constraint inference is a relationship between constraints and their consequences. A set of constraints 
entails a constraint 
if every solution to is also a solution to . In other words, if 
is a valuation of the variables in the scopes of the constraints in and all constraints in are satisfied by , then also satisfies the constraint .
Some operations on constraints produce a new constraint that is a consequence of them. Constraint composition operates on a pair of binary constraints 
and 
with a common variable. The composition of such two constraints is the constraint 
that is satisfied by every evaluation of the two non-shared variables for which there exists a value of the shared variable 
such that the evaluation of these three variables satisfies the two original constraints and .
Constraint projection restricts the effects of a constraint to some of its variables. Given a constraint 
its projection to a subset 
of its variables is the constraint 
that is satisfied by an evaluation if this evaluation can be extended to the other variables in such a way the original constraint is satisfied.
Extended composition is similar in principle to composition, but allows for an arbitrary number of possibly non-binary constraints; the generated constraint is on an arbitrary subset of the variables of the original constraints. Given constraints 
and a list 
of their variables, the extended composition of them is the constraint 
where an evaluation of satisfies this constraint if it can be extended to the other variables so that are all satisfied.
See also
- Constraint satisfaction problem
References
- {{cite book
| first=Rina
| last=Dechter
| title=Constraint processing
| publisher=Morgan Kaufmann
| year=2003
| url=http://www.ics.uci.edu/~dechter/books/index.html
}} {{ISBN|1-55860-890-7}}
- {{cite book
| first=Krzysztof
| last=Apt
| title=Principles of constraint programming
| publisher=Cambridge University Press
| year=2003
}} {{ISBN|0-521-82583-0}}
- {{cite book
| first=Kim
| last=Marriott
|author2=Peter J. Stuckey
| title=Programming with constraints: An introduction
| year=1998
| publisher=MIT Press
}} {{ISBN|0-262-13341-5}}
{{Mathapplied-stub}}- List of highways numbered 488
- List of highways numbered 48A
- List of highways numbered 48 (disambiguation)
- List of highways numbered 490
- List of highways numbered 490 (disambiguation)
- List of highways numbered 491 (disambiguation)
- List of highways numbered 492
- List of highways numbered 495 (disambiguation)
- List of highways numbered 49 (disambiguation)
- List of highways numbered 4A
- List of highways numbered 4 (disambiguation)
- List of highways numbered 500 (disambiguation)
- List of highways numbered 501 (disambiguation)
- List of highways numbered 502
- List of highways numbered 502 (disambiguation)
- List of highways numbered 503
- List of highways numbered 505
- List of highways numbered 505 (disambiguation)
- List of highways numbered 507
- List of highways numbered 50 (disambiguation)
- List of highways numbered 510
- List of highways numbered 510 (disambiguation)
- List of highways numbered 511
- List of highways numbered 513 (disambiguation)
- List of highways numbered 514 (disambiguation)