13376 search results - page 47 / 2676 » Problem Solving with |
111
Voted
CONSTRAINTS
2010
14 years 10 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
111
click to vote
PDPTA
1996
15 years 2 months ago
1996
This paper describes a parallelization of the sequential dynamic programming method for solving a 2D knapsack problem where multiples of n rectangular objects are optimally packed...
109
click to vote
ISCAS
2003
IEEE
15 years 6 months ago
2003
IEEE
The Hamiltonian Cycle (HC) problem is an important graph problem with many applications. The general backtracking algorithm normally used for random graphs often takes far too lon...
100
Voted
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Consider a set of n > 2 simple autonomous mobile robots (decentralized, asynchronous, no common coordinate system, no identities, no central coordination, no direct co...
ECAI
1992
Springer
15 years 4 months ago
1992
Springer
The cooperation knowledge level is a new computer level specifically for multi-agent problem solvers which describes rich and explicit models of common social phenomena. A cooperat...