Project TAGED-membership

Exercices, projets etc relatifs au Master d'Informatique
Post Reply
User avatar
Vincent
Posts: 3077
Joined: Fri Apr 07, 2006 12:10 pm
Location: Schtroumpf
Contact:

Project TAGED-membership

Post by Vincent » Mon Apr 26, 2010 9:53 pm

Project report:
taged-sat-project-report-m2-VH-r199.pdf.gz
(290.71 KiB) Downloaded 950 times
Article:
r59(final)-SAT-solvers-TAGEDs-mem.pdf.gz
(134.46 KiB) Downloaded 970 times
Slides:
pres-taged-sat-r291.pdf.gz
(1.24 MiB) Downloaded 983 times
This is the version of the slides which I presented at the Workshop CSTVA'10, in Paris, the 10th of April 2010.
{ Vincent Hugot }

Post Reply

Who is online

Users browsing this forum: No registered users and 213 guests