Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
PolySAT: Word-level Bit-vector Reasoning in Z3
Publication
Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.