Picture of a black hole

Strathclyde Open Access research that creates ripples...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of research papers by University of Strathclyde researchers, including by Strathclyde physicists involved in observing gravitational waves and black hole mergers as part of the Laser Interferometer Gravitational-Wave Observatory (LIGO) - but also other internationally significant research from the Department of Physics. Discover why Strathclyde's physics research is making ripples...

Strathprints also exposes world leading research from the Faculties of Science, Engineering, Humanities & Social Sciences, and from the Strathclyde Business School.

Discover more...

On the extraction of disjunctive landmarks from planning problems via symmetry reduction

Gregory, P. and Cresswell, S. and Long, D. and Porteous, J. (2004) On the extraction of disjunctive landmarks from planning problems via symmetry reduction. In: Proceedings of SymCon'04: The 4th International Workshop on Symetry and Constraint Satisfaction Problems. Springer, pp. 34-41.

[img]
Preview
PDF (strathprints002692.pdf)
strathprints002692.pdf

Download (510kB) | Preview

Abstract

The exploitation of symmetry in combinatorial search has typically focused on using information about symmetries to control search. This work describes an approach that exploits symmetry to get more detailed domain-analysis rather than as a method of search control.