diff --git a/include/heuristic-driven-solving b/include/heuristic-driven-solving
index 6ada0d6..d5be05f 160000
--- a/include/heuristic-driven-solving
+++ b/include/heuristic-driven-solving
@@ -1 +1 @@
-Subproject commit 6ada0d6545fe7f5c0fbcd9cbb14637a732ad3e6e
+Subproject commit d5be05faecbe0163338f6e8b957389879018ddd2
diff --git a/include/modeling b/include/modeling
index 93b44a4..58d1415 160000
--- a/include/modeling
+++ b/include/modeling
@@ -1 +1 @@
-Subproject commit 93b44a47578ac0f50ced4e7c258d8b258aad207a
+Subproject commit 58d1415d7d927043a7f103d81db04ef69cede962
diff --git a/main.tex b/main.tex
index 1c6763c..4d73752 100644
--- a/main.tex
+++ b/main.tex
@@ -68,7 +68,6 @@
 %ocharacterization%
 %pcharacterization%
 %solving%
-%
 %encoding%
 %meta%
 %controlling%
diff --git a/slides/controlling.pdf b/slides/controlling.pdf
index fbc2d28..a14e333 100644
Binary files a/slides/controlling.pdf and b/slides/controlling.pdf differ
diff --git a/slides/hsolving.pdf b/slides/hsolving.pdf
index f285432..8a7e1f6 100644
Binary files a/slides/hsolving.pdf and b/slides/hsolving.pdf differ
diff --git a/slides/main.pdf b/slides/main.pdf
index ece8e15..b02838d 100644
Binary files a/slides/main.pdf and b/slides/main.pdf differ
diff --git a/slides/modeling.pdf b/slides/modeling.pdf
index be1ab54..43c859a 100644
Binary files a/slides/modeling.pdf and b/slides/modeling.pdf differ
diff --git a/slides/msolving.pdf b/slides/msolving.pdf
index 87ccaf0..1d9ba03 100644
Binary files a/slides/msolving.pdf and b/slides/msolving.pdf differ
diff --git a/slides/systems.pdf b/slides/systems.pdf
index 0fb54d6..6dbae81 100644
Binary files a/slides/systems.pdf and b/slides/systems.pdf differ
diff --git a/slides/tsolving.pdf b/slides/tsolving.pdf
index 8d0edd8..49c2f4e 100644
Binary files a/slides/tsolving.pdf and b/slides/tsolving.pdf differ