diff --git a/articles/mcsat-vmcai2013.pdf b/doc/papers/mcsat-vmcai2013.pdf
similarity index 100%
rename from articles/mcsat-vmcai2013.pdf
rename to doc/papers/mcsat-vmcai2013.pdf
diff --git a/articles/mcsat_design.pdf b/doc/papers/mcsat_design.pdf
similarity index 100%
rename from articles/mcsat_design.pdf
rename to doc/papers/mcsat_design.pdf
diff --git a/articles/minisat.pdf b/doc/papers/minisat.pdf
similarity index 100%
rename from articles/minisat.pdf
rename to doc/papers/minisat.pdf