matlab_sat_2009_siam

matlab_sat_2009_siam, "Parallel MATLAB on the SAT Problem", discussion of the use of Parallel MATLAB on the SAT problem, for the SIAM Annual Meeting in Denver, 06-10 July 2009.

• matlab_sat_2009_siam.tex
• matlab_sat_2009_siam.pdf

Files used included:

• icam_logo.png, a logo.
• invent_logo.pdf, a logo;
• sat_circuit.png, a PNG file which depicts a simple logical formula using electronic circuitry symbols.
• sat_timing.pdf, a PDF file which displays the performance of the parallel version of the code.