Constraint Propagation and Backtracking-based Search

First Page		Document Content
Date: 2005-09-20 11:29:18 Artificial intelligence Constraint satisfaction Local consistency Constraint logic programming Local search Backjumping Look-ahead Backtracking Search algorithm Constraint programming Software engineering Computer programming		Constraint Propagation and Backtracking-based Search Add to Reading List Source URL: ktiml.mff.cuni.cz Download Document from Source Website File Size: 371,85 KB Share Document on Facebook

	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 DocID: 1m2xb - View Document
	Appears in Working Notes of the 2nd Workshop on Real-Time Tools August 1, 2002, Copenhagen, Denmark Verier Trace-Directed Backjumping for Controller Synthesis Robert P. Goldman, Michael J. S. Pelican, David J. Musliner DocID: 1l52X - View Document
	Backjumping learn 1 Revision: 1.14 x DocID: 1jzlK - View Document
	Journal of Artificial Intelligence Research Submitted 04/08; publishedAsynchronous Forward Bounding for Distributed COPs Amir Gershman DocID: 18Jyn - View Document
	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 DocID: Sxc9 - View Document