Sciweavers

2410 search results - page 6 / 482
» Multiset Ordering Constraints
Sort
View
151
Voted
CONSTRAINTS
2008
132views more  CONSTRAINTS 2008»
15 years 3 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...
112
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
116
Voted
RTA
1998
Springer
15 years 8 months ago
Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic
The system FT
Martin Müller, Joachim Niehren
146
Voted
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