Disjoint direct product decompositions of permutation groups von Chang, Mun See, Jefferson, Christopher

Volltext

Athanor: Local search over abstract constraint specifications von Attieh, Saad, Dang, Nguyen, Jefferson, Christopher, Miguel, Ian, Nightingale, Peter

Volltext

Composable Constraint Models for Permutation Enumeration von Hoffmann, Ruth, Akgün, Özgür, Jefferson, Christopher

Volltext

Perfect refiners for permutation group backtracking algorithms von Jefferson, Christopher, Waldecker, Rebecca, Wilson, Wilf A.

Volltext

Complexity of n-Queens Completion von Gent, Ian P., Jefferson, Christopher, Nightingale, Peter

Volltext

L - Fuzzy BP - Algebras von Christopher Jefferson Y, M. Chandramouleeswaran

Volltext

Permutation group algorithms based on directed graphs von Jefferson, Christopher, Pfeiffer, Markus, Wilson, Wilf A., Waldecker, Rebecca

Volltext

Computing normalisers of intransitive groups von Chang, Mun See, Jefferson, Christopher, Roney-Dougal, Colva M.

Volltext

Automatically improving constraint models in Savile Row von Nightingale, Peter, Akgün, Özgür, Gent, Ian P., Jefferson, Christopher, Miguel, Ian, Spracklen, Patrick

Volltext

New refiners for permutation group search von Jefferson, Christopher, Pfeiffer, Markus, Waldecker, Rebecca

Volltext

Conjure: Automatic Generation of Constraint Models from Problem Specifications von Akgün, Özgür, Frisch, Alan M., Gent, Ian P., Jefferson, Christopher, Miguel, Ian, Nightingale, Peter

Volltext

Minimal and canonical images von Jefferson, Christopher, Jonauskyte, Eliza, Pfeiffer, Markus, Waldecker, Rebecca

Volltext

Strong external difference families in abelian and non-abelian groups von Huczynska, Sophie, Jefferson, Christopher, Nepšinská, Silvia

Volltext

On the Generation of Rank 3 Simple Matroids with an Application to Terao's Freeness Conjecture von Barakat, Mohamed, Behrends, Reimer, Jefferson, Christopher, Kühne, Lukas, Leuner, Martin

Volltext

Generating custom propagators for arbitrary constraints von Gent, Ian P., Jefferson, Christopher, Linton, Steve, Miguel, Ian, Nightingale, Peter

Volltext

Exact formula for bond percolation on cliques von Mann, Peter, Smith, V. Anne, Mitchell, John B. O., Jefferson, Christopher, Dobson, Simon

Volltext

Short and Long Supports for Constraint Propagation von Nightingale, P., Gent, I. P., Jefferson, C., Miguel, I.

Volltext

Metamorphic Testing of Constraint Solvers von Akgün, Özgür, Gent, Ian P., Jefferson, Christopher, Miguel, Ian, Nightingale, Peter

Volltext

Implementing logical connectives in constraint programming von Jefferson, Christopher, Moore, Neil C.A., Nightingale, Peter, Petrie, Karen E.

Volltext

Finding Subgraphs with Side Constraints von Akgün, Özgür, Enright, Jessica, Jefferson, Christopher, McCreesh, Ciaran, Prosser, Patrick, Zschaler, Steffen

Volltext