1022 search results - page 22 / 205 » Challenges for Constraint Programming in Networking |
85
Voted
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
97
Voted
JAIR
2008
15 years 13 days ago
2008
We represent planning as a set of loosely coupled network flow problems, where each network corresponds to one of the state variables in the planning domain. The network nodes cor...
152
Voted
PTS
2010
14 years 10 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
133
Voted
SNPD
2003
15 years 1 months ago
2003
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
102
Voted
CORR
2008
Springer
15 years 16 days ago
2008
Springer
In the constraint programming framework, state-of-the-art static and dynamic decomposition techniques are hard to apply to problems with complete initial constraint graphs. For suc...