13841 search results - page 411 / 2769 » Algorithms and Constraint Programming |
186
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
The transportation planning (TP) is well-known basic network problem. However, for some real-world applications, it is often that the TP model is extended to satisfy other additio...
173
click to vote
AAAI
2008
15 years 9 months ago
2008
Direction relations between extended spatial objects are important commonsense knowledge. Recently, Goyal and Egenhofer proposed a formal model, called Cardinal Direction Calculus...
177
click to vote
ESA
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. A materialized view is a certain synopsis structure precomputed from one or more data sets (called base tables) in order to facilitate various queries on the data. When t...
281
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We present an implementation of table constraints in CLP(FD). For binary constraints, the supports of each value are represented as a finite-domain variable, and action rules are u...
170
click to vote
ISSTA
2004
ACM
16 years 9 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...