Sorry, this page is no longer active. It has been replaced and/or moved to: http://people.cs.ubc.ca/~davet/research/dls4sat.html.