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_...
In this paper, we give an algorithm for detecting non-trivial 3-APs in m...
Jeremy F Almis this you? claim profile