MiniSym

swMATH43897MaRDI QIDQ5973144FDOQ5973144

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-319-89960-2_6

Described by source

• CDCLSym: introducing effective symmetry breaking in SAT solving

Cited In (1)

• Saucy

This page was built for software: MiniSym