Description

There are 3 projects for this course:

• To create a Max 2-SAT solver
• To create a Max 2-SAT approximation algorithm that is $\geq$ 75% optimal
• To create a Max 2-SAT Local Search algorithm

What is _?

• Max SAT
• 2-SAT
• Max 2-SAT
• Approximation algorithms
• Local Search

GitHub Repo