Backjumping

Results: 15



#Item
11Artificial 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

Language: English - Date: 2005-09-20 11:29:18
12Artificial intelligence / Constraint satisfaction problem / Local consistency / Constraint satisfaction / AC-3 algorithm / Constraint logic programming / Backjumping / Backtracking / Constraint graph / Constraint programming / Software engineering / Computer programming

Constraint Programming: In Pursuit of the Holy Grail Roman Barták Charles University, Faculty of Mathematics and Physics, Department of Theoretical

Add to Reading List

Source URL: ktiml.mff.cuni.cz

Language: English - Date: 1999-12-06 11:36:48
13Artificial intelligence / Local consistency / Constraint satisfaction problem / Backjumping / Constraint satisfaction / Constraint optimization / Look-ahead / Backmarking / Backtracking / Constraint programming / Software engineering / Computer programming

Microsoft PowerPoint - CP school 2005 Pro tisk

Add to Reading List

Source URL: ktiml.mff.cuni.cz

Language: English - Date: 2005-09-20 00:13:36
14Computer programming / Backjumping / Constraint satisfaction problem / Backtracking / Hybrid algorithm / Backmarking / Constraint satisfaction / Search algorithm / Variable / Constraint programming / Declarative programming / Software engineering

PDF Document

Add to Reading List

Source URL: www.dcs.gla.ac.uk

Language: English - Date: 2006-01-13 10:34:44
15Artificial intelligence / Constraint satisfaction problem / Backjumping / Constraint satisfaction / Constraint logic programming / Backtracking / Hybrid algorithm / Assignment / Constraint programming / Software engineering / Computer programming

PDF Document

Add to Reading List

Source URL: www.aaai.org

Language: English - Date: 2006-01-09 22:05:51
UPDATE