Centre for Interdisciplinary Research in Computational Algebra (CIRCA) Research
The Centre for Interdisciplinary Research in Computational Algebra (CIRCA) was established in 2000 to foster new and existing collaborative research between members of the Schools of Computer Science and of Mathematics and Statistics in the area of computational abstract algebra.
For more information please visit the Centre for Interdisciplinary Research in Computational Algebra (CIRCA) home page.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
(2016-10-26) - Journal articleTwo finitely generated monoids are constructed, one finitely presented the other not, whose (directed, unlabelled) Cayley graphs are isomorphic.
(2016-10-03) - Journal articleLet Ω be a set of cardinality n, G be a permutation group on Ω and f:Ω→Ω be a map that is not a permutation. We say that G synchronizes f if the transformation semigroup ⟨G,f⟩ contains a constant map, and that G is a ...
Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row (Springer, 2015-10) - Conference itemThe formulation of a Propositional Satisfiability (SAT) problem instance is vital to efficient solving. This has motivated research on preprocessing, and inprocessing techniques where reformulation of a SAT instance is ...
(ACM Press - Association for Computing Machinery, 2016-09-23) - Conference itemAs part of our ongoing research programme into programmer-in-the-loop parallelisation, we are studying the problem of introducing alternative data structures to support parallelism. Automated support for data structure ...
(2016) - Journal articleHow can applications be deployed on the cloud to achieve maximum performance? This question is challenging to address with the availability of a wide variety of cloud Virtual Machines (VMs) with different performance ...