<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>8579</REFNUM><AUTHORS><AUTHOR>Prosser,P.</AUTHOR></AUTHORS><YEAR>1995</YEAR><TITLE>MAC-CBJ: maintaining arc consistency with conflict-directed backjumping</TITLE><PLACE_PUBLISHED>Technical Report 95/177</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><LABEL>Prosser:1995:8579</LABEL><KEYWORDS><KEYWORD>constraint satisfaction</KEYWORD></KEYWORDS<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)</ABSTRACT></RECORD></RECORDS></XML>