@inproceedings{distler_semigroups_2012,
  title = {The {Semigroups} of {Order} 10},
  abstract = {The number of finite semigroups increases rapidly with the number of elements. Since existing enumeration formulae do not give the complete number of semigroups of given order up to symmetric equivalence, the remainder can only be found by careful search. We describe the use of mathematical results combined with distributed Constraint Satisfaction to show that the number of non-equivalent semigroups of order 10 is 12,418,001,077,381,302,684. This solves a previously open problem in Mathematics, and has directly led to improvements in Constraint Satisfaction technology.},
  booktitle = {18th {International} {Conference} on {Principles} and {Practice} of {Constraint} {Programming}},
  author = {Distler, Andreas and Jefferson, Christopher A. and Kelsey, Tom and Kotthoff, Lars},
  month = oct,
  year = {2012},
  pages = {883--899},
  month_numeric = {10}
}