Pages that link to "Item:Q359984"

The following pages link to Planning as satisfiability: heuristics (Q359984):

Displaying 22 items.

• On the completeness of pruning techniques for planning with conditional effects (Q473577) (← links)
• Two approximate algorithms for model counting (Q507433) (← links)
• Heuristic planning: A declarative approach based on strategies for action selection (Q814564) (← links)
• Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning (Q1397237) (← links)
• Formally verified algorithms for upper-bounding state space diameters (Q1663245) (← links)
• What is answer set programming to propositional satisfiability (Q1699519) (← links)
• Computing programs for generalized planning using a classical planner (Q2321292) (← links)
• Red-black planning: a new systematic approach to partial delete relaxation (Q2344359) (← links)
• Understanding planning tasks. Domain complexity and heuristic decomposition (Q2473931) (← links)
• Heuristics, metaheuristics and approximate methods in planning and scheduling (Q2634587) (← links)
• Scaling up Heuristic Planning with Relational Decision Trees (Q2996916) (← links)
• Planning as satisfiability with IPC simple preferences and action costs (Q3164979) (← links)
• SAT-Based Model Checking (Q3176368) (← links)
• Progress in clasp Series 3 (Q3449220) (← links)
• Approximate Model Counting via Extension Rule (Q3452569) (← links)
• Gittins-index heuristics for research planning (Q4859566) (← links)
• plasp 3: Towards Effective ASP Planning (Q4957186) (← links)
• Domain-Independent Cost-Optimal Planning in ASP (Q5108526) (← links)
• Logics in Artificial Intelligence (Q5394133) (← links)
• Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search (Q5958540) (← links)
• Optimal planning with expressive action languages as constraint optimization (Q6545569) (← links)
• Generalized planning as heuristic search: a new planning search-space that leverages pointers over objects (Q6566615) (← links)