Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Satplan

Known as: Plansat 
Satplan (better known as Planning as Satisfiability) is a method for automated planning. It converts the planning problem instance into an instance… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Planning is a fundamental issue in multi-agent systems. In this work we focus on the coordination of multiple agents in two… Expand
  • figure 1
  • table 1
  • table 2
Is this relevant?
2012
2012
Planning is a fundamental issue in multi-agent systems. In this work we focus on the coordination of multiple agents in two… Expand
Is this relevant?
2010
2010
Multi-agent planning is a core issue in the multi-agent systems field. In this work we focus on the coordination of multiple… Expand
  • figure 1
  • table 1
  • table 2
Is this relevant?
2006
2006
Recent advances in solving constraint satisfaction problems (CSPs) and heuristic search have made it possible to solve classical… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
Is this relevant?
2005
2005
Agents with web services based interfaces have service description encoded in machine-understandable formats so that they can… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 5
  • table 3
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The Blackbox planning system unifies the planning as satisfiability framework (Kautz and Selman 1992, 1996) with the plan graph… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
1999
1999
Recent new planning paradigms, such as Graphplan and Satplan, have been shown to outperform more traditional domain-independent… Expand
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
1998
1998
In this paper we present C-SATPLAN, a planner which realizes an extension to the satisfiability based planning system SATPLAN for… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
SATPLAN04 is a updated version of the planning as satisfiability approach originally proposed in (Kautz & Selman 1992; 1996… Expand
Is this relevant?