14 citations · 24 across the 4 of their papers we have counts for
4 papers
The semigroups of order 9 and their automorphism groups
Andreas Distler, Tom Kelsey
We report the number of semigroups with 9 elements up to isomorphism or anti-isomorphism to be 52,989,400,714,478 and up to isomorphism to be 105,978,177,936,292. We obtained these…
Qualitative Modelling via Constraint Programming: Past, Present and Future
Thomas W. Kelsey, Lars Kotthoff, Christoffer A. Jefferson +4
Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able…
A framework for large-scale distributed AI search across disconnected heterogeneous infrastructures
Lars Kotthoff, Tom Kelsey, Martin McCaffery
We present a framework for a large-scale distributed eScience Artificial Intelligence search. Our approach is generic and can be used for many different problems. Unlike many other…
The Exact Closest String Problem as a Constraint Satisfaction Problem
Tom Kelsey, Lars Kotthoff
We report (to our knowledge) the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration of…