Algorithmic Behavior of DPLL on Random XOR-SAT and an
Harold Connamacher University of Toronto
This web presentation contains the
audio and slides
of a lecture given at the Fields Institute on April 16, 2005
as part of the Ontario Combinatorics Workshop.
MP3 format
(downloadable too; right-click to download)
You may browse the slides
in the presentation (a browser capable of displaying PNG graphics
is required).
Or, you may download a higher-resolution printer-ready
version
in PDF format
(requires Acrobat Reader).