You need to have JavaScript enabled in order to access this site.
Global Navigation Menu
CSE-30-01
Lecture 20: SAT, and translating Sudoku to SAT
Skip To Content
Dashboard
Login
Dashboard
Calendar
Inbox
History
Help
Resources
Close
My Dashboard
CSE-30-01
Pages
Lecture 20: SAT, and translating Sudoku to SAT
2021 Winter Quarter
Home
Pages
Quizzes
Syllabus
NameCoach
Zoom
YuJa
Gradescope
SETS
View All Pages
Lecture 20: SAT, and translating Sudoku to SAT
Notes used in class
Links to an external site.
Video:
Requirements Changed
close
Re-Lock Modules
Continue