Searching for "Definitional Constraints." – sorted by Relevance.
1,028 documents found, showing 1 through 10.
Next 10 →
-
Symmetry definitions for constraint satisfaction problems
- …Symmetry Definitions for Constraint Satisfaction Problems David Cohen 1 , Peter Jeavons 2…
- Cited by 25 (2 self) – Add To MetaCart
-
Definite Relations over Constraint Languages
- … of logic programs extend to definite clause specifications over arbitrary constraint languages. The notion…
- Cited by 79 (5 self) – Add To MetaCart
-
Type Inference in CHR Programs for the Composition of Constraint Systems
- … 14, 2000 Abstract The definition of Constraint Handling Rules in (constraint)-logic programming…
- Cited by 2 (1 self) – Add To MetaCart
-
Constraint Symmetry for the Soft CSP
- … introduce a definition of constraint symmetry for soft CSPs, based on the definition of constraint symmetry…
- Cited by 1 (0 self) – Add To MetaCart
-
A Generalized Semantics for Constraint Logic Programs
- … on the general properties of any (possibly non-standard) semantics definition. In constraint logic programming…
- Cited by 32 (13 self) – Add To MetaCart
-
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs
- … on the general properties of any---possibly non-standard--- semantic definition. In constraint logic programming…
- Cited by 34 (5 self) – Add To MetaCart
-
U ‘sing Integrity Constraints to Provide Intensional Answers to Relational Q ueries
- … in an extensional answer, and on the meta-relations, resulting in definitions of constraints that apply…
- Add To MetaCart
-
Logical Constraints and Logic Programming
- … are just special cases of constraint models of constraint logic programs. Our definition of constraint…
- Cited by 5 (3 self) – Add To MetaCart
-
Precise Service Level Agreements
- …, and the precise definition of these constraints using OCL constitutes the semantic description of the language. We…
- Cited by 17 (3 self) – Add To MetaCart
-
Elementary Closures for Integer Programs
- …- Adams cuts and Lovasz-Schrijver cuts with positive semi-de niteness constraints. Key Words: Integer…
- Cited by 10 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
