Home Assignment 3 - Extension | |
|
Hello all, Due to several requests, I will leave the submission page open until September 8. Yakir |
| פורסם ב-27/8/2024, 14:28:52 Created on 27/8/2024, 14:28:52 Создано27/8/2024, 14:28:52 تم النشر ب-27/8/2024, 14:28:52 |
Lecture - 14.8 | |
|
Hi all, This is a reminder that today’s lecture is canceled. Yakir |
| פורסם ב-14/8/2024, 08:54:10 Created on 14/8/2024, 08:54:10 Создано14/8/2024, 08:54:10 تم النشر ب-14/8/2024, 08:54:10 |
Home Assignment 3 | |
|
Hi all, The third (and final) home assignment is now available. Good luck! Yakir |
| פורסם ב-7/8/2024, 21:04:47 Created on 7/8/2024, 21:04:47 Создано7/8/2024, 21:04:47 تم النشر ب-7/8/2024, 21:04:47 |
Home Assignment 2 - Extension | |
|
Hello all, Due to a few requests from several students, you can submit the assignment by end of Tuesday (August 6). Yakir |
| פורסם ב-4/8/2024, 13:18:47 Created on 4/8/2024, 13:18:47 Создано4/8/2024, 13:18:47 تم النشر ب-4/8/2024, 13:18:47 |
Home Assignment 2 | |
|
Hi all, Small clarifications about the home assignment. In 2.3, you can assume the given set of CHCs is linear if it makes it easier for you to think of a solution. Yakir |
| עדכון אחרון ב-1/8/2024, 18:41:12 Last updated on 1/8/2024, 18:41:12 Последняя модификация1/8/2024, 18:41:12 تمت الحتلنة الأخيرة ب-1/8/2024, 18:41:12 |
Today's Lecture (31.7) | |
|
Hi all, Today's lecture (31.7) will be virtual. We will dedicate a few minutes to the home assignment. Zoom link: https://technion.zoom.us/j/96507971840 Meeting ID: 965 0797 1840 See you then! Yakir |
| עדכון אחרון ב-31/7/2024, 08:43:20 Last updated on 31/7/2024, 08:43:20 Последняя модификация31/7/2024, 08:43:20 تمت الحتلنة الأخيرة ب-31/7/2024, 08:43:20 |
Second home assignment is available | |
|
Due date: August 4. Good luck! |
| עדכון אחרון ב-21/7/2024, 09:10:16 Last updated on 21/7/2024, 09:10:16 Последняя модификация21/7/2024, 09:10:16 تمت الحتلنة الأخيرة ب-21/7/2024, 09:10:16 |
Clarifications about the first home assignment | |
|
Hello all, 1. Due to some questions regarding the first home assignments I added more details to the second part of the first question. The sheet is updated. 2. In the implementation section, I suggest building MiniSAT with cmake: In the minisat directory you can run: mkdir build cd build cmake -L ../ -DCMAKE_BUILD_TYPE=Debug cmake --build . All the build files will be under the build directory. SHABAT SHALOM, Yakir |
| פורסם ב-5/7/2024, 11:08:30 Created on 5/7/2024, 11:08:30 Создано5/7/2024, 11:08:30 تم النشر ب-5/7/2024, 11:08:30 |
First home assignment is published | |
|
Hi all, The first home assignment is now available. Due date: July 11. Good luck! |
| פורסם ב-25/6/2024, 13:52:13 Created on 25/6/2024, 13:52:13 Создано25/6/2024, 13:52:13 تم النشر ب-25/6/2024, 13:52:13 |
Reminder | |
|
Hi all, This is just a reminder that today's lecture takes place at Taub 8. Yakir |
| פורסם ב-5/6/2024, 13:01:05 Created on 5/6/2024, 13:01:05 Создано5/6/2024, 13:01:05 تم النشر ب-5/6/2024, 13:01:05 |
Lecture Room | |
|
Hi all, Our next lectures will take place at Taub 8. See you there! Yakir |
| עדכון אחרון ב-4/6/2024, 12:42:57 Last updated on 4/6/2024, 12:42:57 Последняя модификация4/6/2024, 12:42:57 تمت الحتلنة الأخيرة ب-4/6/2024, 12:42:57 |
הרצאות Lectures Lectures Lectures | |
|
Hello all, During this semester all lectures will be held at Davis 640. If you sent me a registration email and the course does not appear on your schedule, please let me know today. See you soon, Yakir |
| פורסם ב-29/5/2024, 09:20:12 Created on 29/5/2024, 09:20:12 Создано29/5/2024, 09:20:12 تم النشر ب-29/5/2024, 09:20:12 |