| Publication | Date of Publication | Type |
|---|
Composable constraint models for permutation enumeration
Discrete Mathematics and Theoretical Computer Science. DMTCS | 2026-01-15 | Paper |
| Breaking the symmetries of indistinguishable objects | 2025-11-14 | Paper |
\textsc{Athanor}: local search over abstract constraint specifications
Artificial Intelligence | 2025-03-05 | Paper |
Computing canonical images in permutation groups with graph backtracking
Journal of Computational Algebra | 2025-01-27 | Paper |
| Composable Constraint Models for Permutation Enumeration | 2023-11-29 | Paper |
| Computing canonical images in permutation groups with Graph Backtracking | 2022-09-06 | Paper |
\textsc{Conjure}: automatic generation of constraint models from problem specifications
Artificial Intelligence | 2022-08-11 | Paper |
Perfect refiners for permutation group backtracking algorithms
Journal of Symbolic Computation | 2022-07-18 | Paper |
Computing normalisers of intransitive groups
Journal of Algebra | 2022-05-27 | Paper |
| Finding subgraphs with side constraints | 2022-03-21 | Paper |
Perfect refiners for permutation group backtracking algorithms
(available as arXiv preprint) | 2021-12-09 | Paper |
Computing normalisers of intransitive groups
(available as arXiv preprint) | 2021-12-01 | Paper |
Disjoint direct product decompositions of permutation groups
Journal of Symbolic Computation | 2021-08-05 | Paper |
Permutation group algorithms based on directed graphs
Journal of Algebra | 2021-07-22 | Paper |
Strong external difference families in abelian and non-abelian groups
Cryptography and Communications | 2021-07-13 | Paper |
Permutation group algorithms based on directed graphs
(available as arXiv preprint) | 2021-06-24 | Paper |
On the generation of rank 3 simple matroids with an application to Terao's freeness conjecture
SIAM Journal on Discrete Mathematics | 2021-06-10 | Paper |
Disjoint direct product decomposition of permutation groups
(available as arXiv preprint) | 2020-04-24 | Paper |
| Permutation group algorithms based on directed graphs (extended version) | 2019-11-12 | Paper |
Minimal and canonical images
Journal of Algebra | 2019-01-10 | Paper |
New refiners for permutation group search
Journal of Symbolic Computation | 2018-12-28 | Paper |
Automatically improving constraint models in Savile Row
Artificial Intelligence | 2017-11-16 | Paper |
Complexity of \(n\)-queens completion
Journal of Artificial Intelligence Research | 2017-10-24 | Paper |
| Orbital Graphs | 2017-03-13 | Paper |
Generating custom propagators for arbitrary constraints
Artificial Intelligence | 2014-06-10 | Paper |
Representing and solving finite-domain constraint problems using systems of polynomials
Annals of Mathematics and Artificial Intelligence | 2013-08-26 | Paper |
Short and long supports for constraint propagation
Journal of Artificial Intelligence Research | 2013-02-25 | Paper |
Implementing logical connectives in constraint programming
Artificial Intelligence | 2011-01-31 | Paper |
Symmetry Definitions for Constraint Satisfaction Problems
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Symmetry definitions for constraint satisfaction problems
Constraints | 2006-11-03 | Paper |
Modelling and solving English peg solitaire
Computers & Operations Research | 2006-05-16 | Paper |
