<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6809</REFNUM><AUTHORS><AUTHOR>Gent,I.P.</AUTHOR><AUTHOR>Prosser,P.</AUTHOR></AUTHORS><YEAR>2002</YEAR><TITLE>SAT Encodings of the Stable Marriage Problem with Ties and Incomplete Lists</TITLE><PLACE_PUBLISHED>SAT 2002 The Fifth International Symposium on the Theory and Application of Satisfiability Testing</PLACE_PUBLISHED><PUBLISHER>Academic Press</PUBLISHER><LABEL>Gent:2002:6809</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>