Sciweavers

2410 search results - page 6 / 482
» Multiset Ordering Constraints
Sort
View
CONSTRAINTS
2008
132views more  CONSTRAINTS 2008»
15 years 4 months ago
Essence : A constraint language for specifying combinatorial problems
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...
Alan M. Frisch, Warwick Harvey, Christopher Jeffer...
IJCAI
2007
15 years 5 months ago
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems
ESSENCE is a new formal language for specifying combinatorial problems in a manner similar to natural rigorous specifications that use a mixture of natural language and discrete ...
Alan M. Frisch, Matthew Grum, Christopher Jefferso...
115
Voted
LICS
1998
IEEE
15 years 8 months ago
The First-Order Theory of Ordering Constraints over Feature Trees
Martin Müller, Joachim Niehren, Ralf Treinen
SBBD
2004
119views Database» more  SBBD 2004»
15 years 5 months ago
Computing the Dependency Basis for Nested List Attributes
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...
Sven Hartmann, Sebastian Link