reduce

Reduce - A tool for symmetry breaking. This git repository contains the C++ source code for `reduce’, an experimental software implementation of adaptive prefix-assignment symmetry reduction; cf. T. Junttila, M. Karppa, P. Kaski, J. Kohonen, ”An adaptive prefix-assignment technique for symmetry reduction”. This experimental software is supplied to accompany the aforementioned manuscript.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 2 articles , 1 standard article )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Junttila, Tommi; Karppa, Matti; Kaski, Petteri; Kohonen, Jukka: An adaptive prefix-assignment technique for symmetry reduction (2020)
  2. Junttila, Tommi; Karppa, Matti; Kaski, Petteri; Kohonen, Jukka: An adaptive prefix-assignment technique for symmetry reduction (2017)