Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic | IEEE Conference Publication | IEEE Xplore