SAT-decoding in evolutionary algorithms for discrete constrained optimization problems | IEEE Conference Publication | IEEE Xplore