Representing sparse binary matrices as straight-line programs for fast matrix-vector multiplication | IEEE Conference Publication | IEEE Xplore