Enhancing the computation of approximate solutions of the protein structure determination problem through global constraints for discrete crystal lattices | IEEE Conference Publication | IEEE Xplore