717 search results - page 100 / 144 » Weak-Commitment Search for Solving Constraint Satisfaction P... |
108
click to vote
ICTAI
2003
IEEE
15 years 6 months ago
2003
IEEE
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
128
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
119
click to vote
AAAI
2008
15 years 3 months ago
2008
NASA and USGS are collaborating to produce a global map of Earth using Landsat 5 Thematic Mapper and Landsat 7 Enhanced Thematic Mapper Plus sensor data from the period of 2004 th...
98
Voted
AIPS
2006
15 years 2 months ago
2006
In this paper we describe the problem of Optimal Competitive Scheduling, which consists of activities that compete for a shared resource. The objective is to choose a subset of ac...
109
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
A new search algorithm for solving distributed constraint optimization problems (DisCOPs) is presented. Agents assign variables sequentially and propagate their assignments asynchr...