research
∙
11/02/2019
Improved bounds on the size of the smallest representation of relation algebra 32_65 with the aid of a SAT solver
In this paper, we shed new light on the spectrum of relation algebra 32_...
share
research
∙
02/26/2019
