The next PGR seminar is taking place this Friday 28th March at 2PM in JC 1.33a
Below are the Title and Abstract for Joe’s talk – Please do come along if you are able.
Title: Flexible-Order Symmetry Breaking in the Subgraph Isomorphism Problem
Abstract: The Subgraph Isomorphism Problem has many applications, including bioinformatics, computer vision and graph databases. Current state-of-the-art solvers using constraints programming techniques can handle cases with up to 1000 pattern vertices and 10,000 target vertices. We explore various approaches to variable and value symmetry breaking in the problem (and viable strategies to combine the two), implemented in the Glasgow Subgraph Solver, and introduce the notion of ‘flexible ordering’ on symmetry breaking constraints.