update README file

README.md

 # MaxSAT encoding for Decision Tree
-Source code for paper 
+The Source code for paper:
 
-[**Learning Optimal Decision Trees via MaxSAT and its Integeration in AdaBoost(pre-print)**](http://homepages.laas.fr/msiala/preprints/20-ijcai.pdf)
+[**Learning Optimal Decision Trees via MaxSAT and its Integeration in AdaBoost**](https://ijcai.org/proceedings/2020/0163.pdf)
 
-Hao Hu, Mohamed Siala, Emmanuel Hebrard, Marie-José Huguet
+*Hao Hu, Mohamed Siala, Emmanuel Hebrard, Marie-José Huguet*
 
-[IJCAI20](https://www.ijcai20.org/), International Joint Conference on Artificial Intelligence, July 2020, Yokuhama, Japan.
+*[IJCAI20](https://www.ijcai20.org/), International Joint Conference on Artificial Intelligence, July 2020, Yokuhama, Japan.*
 
-## Prerequisites
+The benchmark is selected for [MaxSAT Evaluation 2021](https://maxsat-evaluations.github.io/2021/).
+
+## Prerequisiteshttps://gepgitlab.laas.fr/hhu/maxsat-decision-trees
 Some necessary python packages needed to execute the code:
 
 -**python-sat**: check in (https://github.com/pysathq/pysat). It contains the API for different SAT solver and RC2 as MaxSAT solver.