swMATH ID: 31512
Software Authors: Junttila, Tommi; Karppa, Matti; Kaski, Petteri; Kohonen, Jukka
Description: 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.
Homepage: https://www.sciencedirect.com/science/article/pii/S0747717119300288
Source Code: https://github.com/mkarppa/reduce
Dependencies: C++
Related Software: Splatz; Treengeling; Plingeling; MPI; YalSAT; Lingeling; OpenMPI; Traces; SymChaff; nauty
Cited in: 2 Publications

Citations by Year