diff --git a/docs/mcsat-vmcai2013.pdf b/docs/mcsat-vmcai2013.pdf
new file mode 100644
index 00000000..e89e32d7
Binary files /dev/null and b/docs/mcsat-vmcai2013.pdf differ
diff --git a/docs/mcsat_design.pdf b/docs/mcsat_design.pdf
new file mode 100644
index 00000000..60ed51f0
Binary files /dev/null and b/docs/mcsat_design.pdf differ