reduce

swMATH31512MaRDI QIDQ43223FDOQ43223

Author name not available (Why is that?)

Official website: https://www.sciencedirect.com/science/article/pii/S0747717119300288

Source code repository: https://github.com/mkarppa/reduce

Described by source

• An adaptive prefix-assignment technique for symmetry reduction

Cited In (4)

• An adaptive prefix-assignment technique for symmetry reduction
• Shatter
• CNFgen
• CDCLSym

This page was built for software: reduce