'X y z part' presentation slideshows

Sat solving maximization and minimization problems

Sat solving maximization and minimization problems. Student: Victoria Kravchenko Supervisors: Prof. Yoram Moses Liat Atsmon. The Project Goal Study and evaluate the approach of solving optimization problems through SAT reduction, and using SAT solvers to solve the reduced problems.

129 views • 1 slides