UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 8579
DCS Tech Report Number:

MAC-CBJ: maintaining arc consistency with conflict-directed backjumping
Prosser,P.

Publication Type: Tech Report (internal)
Appeared in: Technical Report 95/177
Page Numbers :
Publisher: N/A
Year: 1995
Abstract:

I show how MAC can be combined with CBJ. Essentially what is required is the ability of the AC algorithm to maintain eliminating explanations. This would then allow constraint programmers to jump back (rather than fall back)

Keywords: constraint satisfaction, arc-consistency, conflic-directed backjumping, maintaining arc-consistency


PS/PS.GZ Bibtex entry Endnote XML