Основні поняття
Characterizing finite relation algebras and determining their representability over different sets.
Статистика
All finite relation algebras with three or fewer atoms are representable.
Relation algebra 3265 has known representations over different point sizes, ranging from 26 to 1024.
Цитати
"It is conjectured that 'almost all' finite algebras are representable."
"A recent result by Koussas is that the class of atom structures of finite integral symmetry relation algebras obeys a 0-1 law."
"The proofs employ constructions, SAT solvers, and the probabilistic method."