Conditional Symmetry Breaking
Gent, Ian P., Kelsey, Tom, Linton, Steve A., McDonald, Iain, Miguel, Ian, Smith, Barbara M.
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Generating custom propagators for arbitrary constraints
Gent, Ian P., Jefferson, Christopher, Linton, Steve, Miguel, Ian, Nightingale, Peter
Published in Artificial intelligence (01.06.2014)
Published in Artificial intelligence (01.06.2014)
Get full text
Journal Article
HPC-GAP: engineering a 21st-century high-performance computer algebra system
Behrends, Reimer, Hammond, Kevin, Janjic, Vladimir, Konovalov, Alexander, Linton, Steve, Loidl, Hans-Wolfgang, Maier, Patrick, Trinder, Phil
Published in Concurrency and computation (10.09.2016)
Published in Concurrency and computation (10.09.2016)
Get full text
Journal Article
On convex permutations
Albert, Michael H., Linton, Steve, Ruškuc, Nik, Vatter, Vincent, Waton, Steve
Published in Discrete mathematics (06.05.2011)
Published in Discrete mathematics (06.05.2011)
Get full text
Journal Article
The Insertion Encoding of Permutations
Albert, Michael H., Linton, Steve, Ruškuc, Nik
Published in The Electronic journal of combinatorics (19.09.2005)
Published in The Electronic journal of combinatorics (19.09.2005)
Get full text
Journal Article
Symmetry and Consistency
Gent, Ian P., Kelsey, Tom, Linton, Steve, Roney-Dougal, Colva
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Interfacing Coq + SSReflect with GAP
Komendantsky, Vladimir, Konovalov, Alexander, Linton, Steve
Published in Electronic notes in theoretical computer science (19.09.2012)
Published in Electronic notes in theoretical computer science (19.09.2012)
Get full text
Journal Article
S-crucial and bicrucial permutations with respect to squares
Gent, Ian, Kitaev, Sergey, Konovalov, Alexander, Linton, Steve, Nightingale, Peter
Year of Publication 14.02.2014
Year of Publication 14.02.2014
Get full text
Journal Article
Long-term protection of brain tissue from cerebral ischemia by peripherally administered peptidomimetic caspase inhibitors
Deckwerth, Thomas L., Adams, Lisa M., Wiessner, Christoph, Allegrini, Peter R., Rudin, Markus, Sauter, Andre, Hengerer, Bastian, Sayers, Robert O., Rovelli, Giorgio, Aja, Teresa, May, Rachel, Nalley, Kip, Linton, Steve, Karanewsky, Donald S., Wu, Joe C., Roggo, Silvio, Schmitz, Albert, Contreras, Patricia C., Tomaselli, Kevin J.
Published in Drug development research (01.04.2001)
Published in Drug development research (01.04.2001)
Get full text
Journal Article