1 paper · 1 filter
C. Dietzel, P. Menchón, L. Vendramin
We use Constraint Satisfaction Methods to construct and enumerate finite L-algebras up to isomorphism. These objects were recently introduced by Rump and appear in Garside theory…