Search Results for author: Jukka Kohonen

Found 1 papers, 1 papers with code

An adaptive prefix-assignment technique for symmetry reduction

2 code implementations26 Jun 2017 Tommi Junttila, Matti Karppa, Petteri Kaski, Jukka Kohonen

This paper presents a technique for symmetry reduction that adaptively assigns a prefix of variables in a system of constraints so that the generated prefix-assignments are pairwise nonisomorphic under the action of the symmetry group of the system.

Cannot find the paper you are looking for? You can Submit a new open access paper.