62 search results - page 1 / 13 » SAT-Based Cooperative Planning: A Proposal |
AIPS
2006
15 years 3 days ago
2006
In this paper, we propose a new approach, called lemma-reusing, for accelerating SAT based planning and scheduling. Generally, SAT based approaches generate a sequence of SAT prob...
45
Voted
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
CP
2010
Springer
14 years 9 months ago
2010
Springer
Generic SAT solvers have been very successful in solving hard combinatorial problems in various application areas, including AI planning. There is potential for improved performanc...
105
click to vote
CEC
2010
IEEE
14 years 2 months ago
2010
IEEE
—Mobile cooperative sensor networks are increasingly used for surveillance and reconnaissance tasks to support domain picture compilation. However, efficient distributed informat...
WETICE
2008
IEEE
15 years 5 months ago
2008
IEEE
In recent years, the peer-to-peer paradigm has gained momentum in several application areas: file-sharing and VoIP applications have been able to attract millions of end users, w...