The Max2SAT is an algorithm where the variables are assigned a true or a false value. With respect to your solution, the solution should satisfy highest number of pairs. Now, the data can be made of several thousands of pairs and variables. In this course project, initially the perfect solution was achieved with brute force and after that an efficient way was used to do with the fast method. I used Java for programming purpose and NetBeans as IDE.