diff --git a/lucidi/00-introduction.pdf b/lucidi/00-introduction.pdf
new file mode 100644
index 0000000..1083777
Binary files /dev/null and b/lucidi/00-introduction.pdf differ
diff --git a/lucidi/01-modelling.pdf b/lucidi/01-modelling.pdf
new file mode 100644
index 0000000..b4a6a95
Binary files /dev/null and b/lucidi/01-modelling.pdf differ
diff --git a/lucidi/02a-global-constraints-and-constraint-propagation.pdf b/lucidi/02a-global-constraints-and-constraint-propagation.pdf
new file mode 100644
index 0000000..d18f84d
Binary files /dev/null and b/lucidi/02a-global-constraints-and-constraint-propagation.pdf differ
diff --git a/lucidi/02b-global-constraints-and-constraint-propagation.pdf b/lucidi/02b-global-constraints-and-constraint-propagation.pdf
new file mode 100644
index 0000000..117b957
Binary files /dev/null and b/lucidi/02b-global-constraints-and-constraint-propagation.pdf differ
diff --git a/lucidi/02c-global-constraints-and-constraint-propagation.pdf b/lucidi/02c-global-constraints-and-constraint-propagation.pdf
new file mode 100644
index 0000000..a2c21ed
Binary files /dev/null and b/lucidi/02c-global-constraints-and-constraint-propagation.pdf differ
diff --git a/lucidi/03-tree-search-and-optimization.pdf b/lucidi/03-tree-search-and-optimization.pdf
new file mode 100644
index 0000000..55caa35
Binary files /dev/null and b/lucidi/03-tree-search-and-optimization.pdf differ
diff --git a/lucidi/04-constraint-based-scheduling.pdf b/lucidi/04-constraint-based-scheduling.pdf
new file mode 100644
index 0000000..fef0a9a
Binary files /dev/null and b/lucidi/04-constraint-based-scheduling.pdf differ
diff --git a/lucidi/05-heuristic-search.pdf b/lucidi/05-heuristic-search.pdf
new file mode 100644
index 0000000..4f89b4c
Binary files /dev/null and b/lucidi/05-heuristic-search.pdf differ