CDCLSym

swMATH43896MaRDI QIDQ1350219FDOQ1350219

Author name not available (Why is that?)

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

Source code repository: https://github.com/lip6/cosy

Described by source

• CDCLSym: introducing effective symmetry breaking in SAT solving

Cited In (9)

• MiniSym
• Formula simplification via invariance detection by algebraically indexed types
• TACO
• Saucy
• BEE
• Shatter
• CNFgen
• MaxPre
• reduce

This page was built for software: CDCLSym