Improved bounds on the size of the smallest representation of relation algebra 32_65 with the aid of a SAT solver

11/02/2019

∙

by   Jeremy F Alm, et al.

∙

0

∙

share

In this paper, we shed new light on the spectrum of relation algebra 32_65. We show that 1024 is in the spectrum, and no number smaller than 20 is in the spectrum. In addition, we derive upper and lower bounds on the smallest member of the spectra of an infinite class of algebras derived from 32_65 via splitting.