<XML><RECORDS><RECORD><REFERENCE_TYPE>31</REFERENCE_TYPE><REFNUM>8576</REFNUM><AUTHORS><AUTHOR>Prosser,P.</AUTHOR></AUTHORS><YEAR>1993</YEAR><TITLE>Forward Checking with Backmarking</TITLE><PLACE_PUBLISHED>Technical Report AISL-48-93</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><LABEL>Prosser:1993:8576</LABEL><KEYWORDS><KEYWORD>constraint satisfaction search</KEYWORD></KEYWORDS<ABSTRACT>I combine forward checking with backmarking.</ABSTRACT></RECORD></RECORDS></XML>