Sciweavers

62 search results - page 1 / 13
» SAT-Based Cooperative Planning: A Proposal
Sort
View
AIPS
2006
14 years 11 months ago
Lemma Reusing for SAT based Planning and Scheduling
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...
Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, K...
43
Voted
BIRTHDAY
2005
Springer
15 years 3 months ago
SAT-Based Cooperative Planning: A Proposal
Marco Benedetti, Luigia Carlucci Aiello
CP
2010
Springer
14 years 8 months ago
Heuristics for Planning with SAT
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...
Jussi Rintanen
CEC
2010
IEEE
14 years 1 months ago
Co-evolutionary search path planning under constrained information-sharing for a cooperative unmanned aerial vehicle team
—Mobile cooperative sensor networks are increasingly used for surveillance and reconnaissance tasks to support domain picture compilation. However, efficient distributed informat...
Jean Berger, Jens Happe
WETICE
2008
IEEE
15 years 4 months ago
Decentralized Network Analysis: A Proposal
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...
Alberto Montresor