Improved bounds on the size of the smallest representation of relation algebra 3265 with the aid of a SAT solver. - Jeremy F. Alm; Saeed Moazami; Jorge Montero-Vallejo; Linda Pham; Dave Sexton; Xiaonan Xu (CoRR, 2019)