'Vars x2 node number' diaporamas de présentation

Sat solving maximization and minimization problems

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

383 views • 27 slides