Final 1
Ms project
OUTLINE Boolean Equi-propagation for Optimized SAT Encoding Compiling Finite Domain Constraints to SAT with BEE Encoding process Design choices Compiling.
Oracle
Project Mangement
Project final control
Locally Testable Codes and Expanders Tali Kaufman Joint work with Irit Dinur.
Oracle mid exam