Appears in Proc. Int’l Conf. on Automated Planning and Scheduling Whistler, British Columbia, Canada, June 2004 Guiding Planner Backjumping Using Verifier Traces Robert P. Goldman

Source URL: musliner.com

Appears in Working Notes of the 2nd Workshop on Real-Time Tools August 1, 2002, Copenhagen, Denmark Verier Trace-Directed Backjumping for Controller Synthesis Robert P. Goldman, Michael J. S. Pelican, David J. Musliner

Source URL: musliner.com

Backjumping learn 1 Revision: 1.14 x

Source URL: fmv.jku.at

Journal of Artificial Intelligence Research Submitted 04/08; publishedAsynchronous Forward Bounding for Distributed COPs Amir Gershman

Source URL: jair.org

• Computing
• Local consistency
• Constraint optimization
• Distributed constraint optimization
• Constraint satisfaction problem
• Backjumping
• Assignment
• Search algorithm
• Branch and bound
• Constraint programming
• Software engineering
• Computer programming

Between Restarts and Backjumps Antonio Ramos, Peter van der Tak, and Marijn Heule⋆ Department of Software Technology, Delft University of Technology, The Netherlands Abstract. This paper introduces a novel technique th

Source URL: www.st.ewi.tudelft.nl

• Theoretical computer science
• Applied mathematics
• Mathematics
• Backjumping
• Backtracking
• MPS
• Operations research
• Search algorithms
• Constraint programming

Comparison of Different Approaches for Solving Distributed Constraint Satisfaction Problems

Source URL: www.aaai.org

• Artificial intelligence
• Constraint satisfaction
• Search algorithm
• Hybrid algorithm
• Algorithm
• Backjumping
• Parallel computing
• Backtracking
• Distributed algorithm
• Constraint programming
• Computer programming
• Software engineering

Guiding Planner Backjumping Using Verifier Traces

Source URL: aaai.org

• Artificial intelligence
• Search algorithms
• Complexity classes
• Backjumping
• Backtracking
• Constraint satisfaction problem
• Model checking
• NP
• IP
• Theoretical computer science
• Applied mathematics
• Constraint programming

Value Ordering for Finding All Solutions Barbara M. Smith Cork Constraint Computation Centre, Ireland. [removed] Abstract

Source URL: ijcai.org

• Computing
• Local consistency
• Constraint satisfaction
• Backjumping
• Backtracking
• Search algorithm
• Lookup table
• Decomposition method
• Constraint optimization
• Constraint programming
• Computer programming
• Software engineering

Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study (Early Innovation) David Landén∗ Fredrik Heintz

Source URL: www.ida.liu.se

• Search algorithms
• Knowledge representation
• Tree
• B-tree
• Contract Net Protocol
• Backjumping
• Memory management
• Heuristic function
• Information science
• Artificial intelligence
• Constraint programming
• Computing

A constraint-based method for solving sequential manipulation planning problems Tom´as Lozano-P´erez and Leslie Pack Kaelbling Abstract— In this paper, we describe a strategy for integrated task and motion planning b

Source URL: lis.csail.mit.edu

• Artificial intelligence
• Constraint satisfaction problem
• Motion planning
• Constraint satisfaction
• Local consistency
• Kinematics
• Backjumping
• Backtracking
• Constraint programming
• Software engineering
• Computer programming