A Generator for Scalable SAT Constrained Multi-Objective Optimization Benchmark Problems | IEEE Conference Publication | IEEE Xplore