LightSABRE: A Lightweight and Enhanced SABRE Algorithm. - Henry Zou; Matthew Treinish; Kevin Hartman; Alexander Ivrii; Jake Lishman (CoRR, 2024)