Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Kelsey, Tom - School of Computer Science, University of St Andrews
Article Submitted to Journal of Symbolic Computation Hidden veri cation for computational
Tractable symmetry breaking using restricted search Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton 1
Tractable symmetry breaking using restricted search Colva M. RoneyDougal, Ian P. Gent, Tom Kelsey, Steve Linton 1
Alastair F. Donaldson Peter Gregory Karen E. Petrie (Eds.)
Groups and Constraints: Symmetry Breaking During Search
