IUT_RR Max-Sat Solver
IUT_RR is a Max-Sat solver which is based on AK_MaxSat 1.1. It changes AK_MaxSat by two aspects; first: a modified heuristic in variable selection and second: use a local search to improve the complete assignment.

Leader:
Dr.Sayed Rasoul Mousavi

Developer:
Reza Ramezani, Msc student in software engineering

With Thanks to:

Ebrahim Hosseinkhani, Msc student in artificial intelligence
Mohammad Khosravi, Msc student in software engineering
Arash Givchi, Msc student in artificial intelligence

That they where my colleague in previous version of IUT_RR named IUT_RHKG. I used many of their ideas while developing this version of Max-Sat solver.
and also with a great thanks to Mr.Adrian Kuegel which distributed their AK_MaxSat solver and I used his solver.

Email:
R.Ramezani@ec.iut.ac.ir

Web Pages:
http://ramezani-cs.blogfa.com/post-16.aspx
https://facebook.com/ramezani.reza

Isfahan University of Technology, Islamic Republic of Iran, 23 March 2012