Christopher Jefferson

Available identifiers

zbMath Open jefferson.christopherDBLP03/5951WikidataQ102317340 ScholiaQ102317340MaRDI QIDQ360249

List of research outcomes

Publication	Date of Publication	Type
Computing canonical images in permutation groups with graph backtracking	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	2022-08-11	Paper
Perfect refiners for permutation group backtracking algorithms	2022-07-18	Paper
Computing normalisers of intransitive groups	2022-05-27	Paper
Finding subgraphs with side constraints	2022-03-21	Paper
Perfect refiners for permutation group backtracking algorithms	2021-12-09	Paper
Computing normalisers of intransitive groups	2021-12-01	Paper
Disjoint direct product decompositions of permutation groups	2021-08-05	Paper
Permutation group algorithms based on directed graphs	2021-07-22	Paper
Strong external difference families in abelian and non-abelian groups	2021-07-13	Paper
Permutation group algorithms based on directed graphs	2021-06-24	Paper
On the Generation of Rank 3 Simple Matroids with an Application to Terao's Freeness Conjecture	2021-06-10	Paper
Disjoint direct product decomposition of permutation groups	2020-04-24	Paper
Permutation group algorithms based on directed graphs (extended version)	2019-11-12	Paper
Minimal and canonical images	2019-01-10	Paper
New refiners for permutation group search	2018-12-28	Paper
Automatically improving constraint models in Savile Row	2017-11-16	Paper
Complexity of n-Queens Completion	2017-10-24	Paper
Orbital Graphs	2017-03-13	Paper
Generating custom propagators for arbitrary constraints	2014-06-10	Paper
Representing and solving finite-domain constraint problems using systems of polynomials	2013-08-26	Paper
Short and Long Supports for Constraint Propagation	2013-02-25	Paper
Implementing logical connectives in constraint programming	2011-01-31	Paper
Symmetry Definitions for Constraint Satisfaction Problems	2008-09-09	Paper
Symmetry definitions for constraint satisfaction problems	2006-11-03	Paper
Modelling and solving English peg solitaire	2006-05-16	Paper

Research outcomes over time

This page was built for person: Christopher Jefferson