Hi Ahmed:

for our paper and for CSG 270, please research the field of 
potentially practically useful MAX-SAT and MAX-CSP algorithms
that have been published and implemented and whose implementation
gave encouraging results (like ours).

Here is a start:

https://wiki.ccs.neu.edu/display/~lieber/Comparing+MAX-SAT+solvers

https://wiki.ccs.neu.edu/display/~lieber/MAX-CSP+paper

For this week.

-- Karl