CDCLSym

MaRDI QIDQ1350219swMATHFDO

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

(10)

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

This page was built for software: CDCLSym