An Ant Algorithm for Static and Dynamic Max-Sat Problems | IEEE Conference Publication | IEEE Xplore