reduce

MaRDI QIDQ43223swMATHFDO

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

(5)

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

This page was built for software: reduce