Stephen A. Linton

Publication Activity (10 Years)

Years Active: 1995-2021
Publications (10 Years): 3

Top Topics

Constraint Programming

Np Hard Problems

Constraint Solver

Top Venues

Constraints An Int. J.

J. Symb. Comput.

Publications

Derek Holt, Stephen A. Linton, Max Neunhöffer, Richard Parker, Markus Pfeiffer, Colva M. Roney-Dougal
Polynomial-time proofs that groups are hyperbolic. J. Symb. Comput. 104 (2021)
Stephen A. Linton, Gabriele Nebe, Alice C. Niemeyer, Richard Parker, Jon Thackray
A parallel algorithm for Gaussian elimination over finite fields. CoRR (2018)
Stephen A. Linton
GAP 4 at Twenty-one - Algorithms, System Design and Applications. ISSAC (2018)
Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
Qualitative modelling via constraint programming. Constraints An Int. J. 19 (2) (2014)
Vlad Slavici, Daniel Kunkle, Gene Cooperman, Stephen A. Linton
An efficient programming model for memory-intensive recursive algorithms using parallel disks. ISSAC (2012)
Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
Qualitative Modelling via Constraint Programming: Past, Present and Future CoRR (2012)
Vlad Slavici, Daniel Kunkle, Gene Cooperman, Stephen A. Linton
Finding the Minimal DFA of Very Large Finite State Automata with an Application to Token Passing Networks CoRR (2011)
C. Xiong, Thomas W. Kelsey, Stephen A. Linton, Ulf Leonhardt
Towards the Calculation of Casimir Forces for Inhomogeneous Planar Media. ASCM (2009)
Ian P. Gent, Tom Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal
Groupoids and Conditional Symmetry. CP (2007)
David C. Banks, Stephen A. Linton, Paul K. Stockmeyer
Counting Cases in Substitope Algorithms. IEEE Trans. Vis. Comput. Graph. 10 (4) (2004)
Petra E. Holmes, Stephen A. Linton, Scott H. Murray
Product Replacement in the Monster. Exp. Math. 12 (1) (2003)
David C. Banks, Stephen A. Linton
Counting Cases in Marching Cubes: Toward a Generic Algorithm for Producing Substitopes. IEEE Visualization (2003)
Stephen A. Linton, Klaus Lux, Leonard H. Soicher
The Primitive Distance-Transitive Representations of the Fischer Groups. Exp. Math. 4 (3) (1995)