In this paper, we present the partition-and-resolve strategy in SGPlan (hereafter called SGPLan5) for fully supporting all language features in PDDL3.0. Based on the architecture of SGPlan that supported PDDL2.2 (hereafter called SGPLan4), SGPLan5 partitions a large planning problem into subproblems, each with its own subgoal, and resolves those inconsistent solutions using our extended saddle-...

We develop a 0-1 non-linear programming (NLP) model for combined temporal partitioning and high-level synthesis from behavioral speciications destined to be implemented on reconngurable processors. We present tight linearizations of the NLP model. We present eeective variable selection heuristics for a branch and bound solution of the derived linear programming model. We show how tight lineariz...

In this paper, we present the partitioning of mutual-exclusion (mutex) constraints in temporal planning problems and its implementation in the SGPlan4 planner. Based on the strong locality of mutex constraints observed in many benchmarks of the Fourth International Planning Competition (IPC4), we propose to partition the constraints of a planning problem into groups based on their subgoals. Con...

ed data: Atomic data: (Task (A B C)) (Task A) (Task B) (Task C) (Task (D E)) (Task D) (Task (F G)) (Task F) (Task G) (Task E) Figure 13: Abstract tasks resulting from summarization. 6 Value-Assignment Delay Heuristic This section proposes a new heuristic called the valueassignment delay heuristic (VAD) useful for solving list-coloring problems. An arc in the constraint graph of a resource alloc...

In this paper, we study the partitioning of constraints in temporal planning problems formulated as mixed-integer nonlinear programming (MINLP) problems. Constraint partitioning is attractive because it leads to much easier subproblems, where each is a significant relaxation of the original problem. Moreover, each subproblem is very similar to the original problem and can be solved by any exist...

Activity patterns of species are related to their physiology, behaviour and the environment can change in response different factors, such as interactions between species. Bird species, typical understorey, show morphological ecological similarities must thus have some mechanism separation, temporal niche partitioning. The objective this study was provide information about activity overlap bird...

Theory predicts that the temporal stability of productivity, measured as the ratio of the mean to the standard deviation of community biomass, increases with species richness and evenness. We used experimental species mixtures of grassland plants to test this hypothesis and identified the mechanisms involved. Additionally, we tested whether biodiversity, productivity and temporal stability were...

Two species of carcharhinid sharks aggregate every winter at the warm water effluent a coastal power plant on Israeli Mediterranean coast. The two (Carcharhinus obscurus and Carcharhinus plumbeus) cooccur in highly confined area for several months year are associated with around hot effluent. Niche partitioning has recently been suggested as mechanism that enables coexistence similar shark by r...

In a mixed-criticality system, applications with different safety criticality levels are usually required to be implemented upon one platform for several reasons( reducing hardware cost, space, power consumption). Partitioning technology is used to enable the integration of mixedcriticality applications with reduced certification cost. In the partitioning architecture of strong spatial and temp...