The following pages link to Christopher Jefferson (Q360249):
Displaying 25 items.
- Representing and solving finite-domain constraint problems using systems of polynomials (Q360253) (← links)
- Implementing logical connectives in constraint programming (Q622127) (← links)
- Symmetry definitions for constraint satisfaction problems (Q850464) (← links)
- Automatically improving constraint models in Savile Row (Q1680696) (← links)
- Minimal and canonical images (Q1755579) (← links)
- New refiners for permutation group search (Q1757005) (← links)
- Strong external difference families in abelian and non-abelian groups (Q2040357) (← links)
- Permutation group algorithms based on directed graphs (Q2042953) (← links)
- Disjoint direct product decompositions of permutation groups (Q2048148) (← links)
- Finding subgraphs with side constraints (Q2117235) (← links)
- Computing normalisers of intransitive groups (Q2142483) (← links)
- Perfect refiners for permutation group backtracking algorithms (Q2156355) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- Generating custom propagators for arbitrary constraints (Q2453695) (← links)
- Modelling and solving English peg solitaire (Q2489133) (← links)
- Symmetry Definitions for Constraint Satisfaction Problems (Q3524161) (← links)
- Short and Long Supports for Constraint Propagation (Q4907832) (← links)
- On the Generation of Rank 3 Simple Matroids with an Application to Terao's Freeness Conjecture (Q4992840) (← links)
- Complexity of n-Queens Completion (Q5371006) (← links)
- Disjoint direct product decomposition of permutation groups (Q6339349) (← links)
- Permutation group algorithms based on directed graphs (Q6371177) (← links)
- Computing normalisers of intransitive groups (Q6384507) (← links)
- Perfect refiners for permutation group backtracking algorithms (Q6385236) (← links)
- Computing canonical images in permutation groups with Graph Backtracking (Q6409851) (← links)
- Computing canonical images in permutation groups with graph backtracking (Q6671795) (← links)
