CPlan

swMATH5037MaRDI QIDQ17177FDOQ17177

Author name not available (Why is that?)

Official website: https://cs.uwaterloo.ca/~vanbeek/software.html

Cited In (32)

• Constraint satisfaction techniques in planning and scheduling: an introduction
• A weighted CSP approach to cost-optimal planning
• Planning as propositional CSP: From Walksat to local search techniques for action graphs
• Solving sequential planning problems via constraint satisfaction
• AI planning in a constraint programming framework
• New methods for proving the impossibility to solve problems through reduction of problem spaces
• Long-distance mutual exclusion for planning
• Planning as heuristic search
• Branching and pruning: An optimal temporal POCL planner based on constraint programming
• Planning as satisfiability: parallel plans and algorithms for plan search
• Binary vs. non-binary constraints
• Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP
• Concise finite-domain representations for PDDL planning tasks
• Solving Simple Planning Problems with More Inference and No Search
• Resource-driven mission-phasing techniques for constrained agents in stochastic environments
• Modification strategies for SAT-based plan adaptation
• A constraint programming formulation for planning: From plan scheduling to plan generation
• QOCA
• Siege
• PDDL
• Graphplan
• Functional strips: A more flexible language for planning and problem solving
• UCPOP
• VHPOP
• Redundant modeling for the quasigroup completion problem
• Combining linear programming and satisfiability solving for resource planning
• Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan
• Logic Programming
• Constraint solving in uncertain and dynamic environments: A survey
• Constraint-based agents. An architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
• Planning and control in artificial intelligence: A unifying perspective
• Modelling and solving English peg solitaire

This page was built for software: CPlan