<--- Back to Details
First PageDocument Content
Artificial intelligence / Constraint satisfaction / Local consistency / Constraint logic programming / Local search / Backjumping / Look-ahead / Backtracking / Search algorithm / Constraint programming / Software engineering / Computer programming
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

Similar Documents

Theory and Practice of Logic Programming, Vol. 6, No. 5, pp, Programming Finite-Domain Constraint Propagators in Action Rules

DocID: 1tOef - View Document

Proceedings of CICLOPS 2009 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems

DocID: 1t8iI - View Document

Cognition / Reasoning / Cognitive science / Logic / Knowledge representation / Constraint programming / Educational psychology / Spatialtemporal reasoning / Qualitative reasoning / Spatial relation / Reasoning system / Andrew U. Frank

On the Robustness of Qualitative Distance- and Direction-Reasoning* Jung-Hong Hong Department of Surveying Engineering National Cheng-Kung University

DocID: 1rqXQ - View Document

Logic / Constraint programming / Constraint satisfaction problem / Model theory / Abstraction / Philosophy / Constraint satisfaction / Satisfiability / Algebraic structure

CONTRIBUTED TALK ABSTRACTS 1.2 JAKUB BUL´IN Charles University in Prague Absorption in finitely related SD(∧) algebras has bounded arity The notion of absorbing subuniverse plays an important role in the recent devel

DocID: 1rm3f - View Document

Knowledge representation / Reasoning / Constraint programming / Cognition / Computational topology / Region connection calculus / Mathematics / Cognitive science / Logic

AAAI Proceedings Template

DocID: 1r9Ui - View Document