Solving MAX-SAT Problem by Binary Biogeograph-based Optimization Algorithm | IEEE Conference Publication | IEEE Xplore