CDCLSym

swMATH43896MaRDI QIDQ1350219FDOQ1350219

Author name not available (Why is that?)

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

Described by source

• CDCLSym: introducing effective symmetry breaking in SAT solving

Cited In (1)

• Formula simplification via invariance detection by algebraically indexed types

This page was built for software: CDCLSym