1. DeMaxSAT Solver (2021). https://github.com/Manuframil/DEMaxSatSolver
2. Ali, H.M., Mitchell, D., Lee, D.C.: MAX-SAT problem using evolutionary algorithms. In: 2014 IEEE Symposium on Swarm Intelligence, pp. 1–8 (2014)
3. Bacchus, F., Järvisalo, M., Berg, J., Martins, R.: MaxSAT evaluation (2021). https://maxsat-evaluations.github.io/2021/
4. Berg, J., Demirovic, E., Stuckey, P.: Loandra in the 2020 MaxSAT evaluation (2020). https://helda.helsinki.fi/bitstream/handle/10138/333649/mse21proc.pdf
5. Bhattacharjee, A., Chauhan, P.: Solving the SAT problem using genetic algorithm. Adv. Sci. Tech. Eng. Syst. J. 2(4), 115–120 (2017)