Efficient constrained multiple sequence alignment with performance guarantee | IEEE Conference Publication | IEEE Xplore