Solving 3-SAT by GAs adapting constraint weights | IEEE Conference Publication | IEEE Xplore