Description of our Solvers


IUT_BMB_Maxsatz
This solver is based on Maxsatz solver. In Addition a local search is added at the end of each node of the search tree for finding a local better answer. This local search is a probabilistic search which has a probability value 1.0 at the beginning of the search. For each failed local search this probability decreases by 0.2 and for each success local search it increases by 0.2. 

IUT_BMB_LSMaxsatz
The only difference of this solver and IUT_BMB_Maxsatz is ubcsat. IUT_BMB_Maxsatz calls ubcsat for estimating an answer before the search begins, but this solver is only based on our local search described before and finding the better answers with its own local search. In practical this solver is better in the Industrial data but IUT_BMB_Maxsatz is better on Random and Crafted data.

IUT_BMB_WMaxsatz
This solver is based on Maxsatz solver. In Addition a local search is added at the end of each node of the search tree for finding a local better answer. This local search is a probabilistic search which has a probability value 1.0 at the beginning of the search. For each failed local search this probability decreases by 0.2 and for each success local search it increases by 0.2. 

IUT_BMB_LSWMaxsatz
The only difference of this solver and IUT_BMB_WMaxsatz is ubcsat. IUT_BMB_WMaxsatz Call ubcsat for estimating an answer before the search begins, but this solver is only based on our local search described before and finding the better answers with its own local search. In practical this solver is better in the Industrial data but IUT_BMB_WMaxsatz is better on Random and Crafted data.


Abdorrahim Bahrami
Seyyed Rasoul Mousavi
Kiarash Bazargan