TY - RPRT TI - Evaluation of Particle Swarm Optimization Algorithms for Weighted Max-Sat Problem: Technical Report AU - Osama Khalil PY - 2017 UR - https://arxiv.org/abs/1212.0639 ID - 1212.0639 ER -