Project TAGED-membership

[Vincent]

Project report:

taged-sat-project-report-m2-VH-r199.pdf.gz

(290.71 KiB) Downloaded 1523 times

Article:

r59(final)-SAT-solvers-TAGEDs-mem.pdf.gz

(134.46 KiB) Downloaded 1552 times

Slides:

pres-taged-sat-r291.pdf.gz

(1.24 MiB) Downloaded 1573 times

This is the version of the slides which I presented at the Workshop CSTVA'10, in Paris, the 10th of April 2010.