eusolver

ngsankha · Sep 10, 2024 · 74c4c48 · 74c4c48
1 parent b0a23c0
commit 74c4c48
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/_modules/week-03.md b/_modules/week-03.md
@@ -3,13 +3,13 @@ title: Biasing Search
 ---
 
 Mon Sep 9
-: Top-down Propagation
+: [Paper + Project Discussions](../lectures/lecture05-eusolver.pdf)
   : []()
 
 Wed Sep 11
-: Weighted Enumerative Search - I
+: Top-down Propagation
   : []()
 
 Fri Sep 13
-: Weighted Enumerative Search - II
+: Weighted Enumerative Search
   : [EUPhony](https://www.cis.upenn.edu/~alur/PLDI18.pdf)
diff --git a/lectures/lecture05-eusolver.pdf b/lectures/lecture05-eusolver.pdf
diff --git a/lectures/lecture06-eusolver.pdf b/lectures/lecture06-eusolver.pdf