CNFgen

MaRDI QIDQ33767swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-66263-3_30

Source code repository https://github.com/MassimoLauria/cnfgen

Cited in

(14)

• OptiLog: a framework for SAT-based systems
• On the hierarchical community structure of practical Boolean formulas
• On conversions from CNF to ANF
• Pueblo
• SymChaff
• antom
• Shatter
• reduce
• probSAT
• OptiLog
• CDCLSym
• PyPBLib
• QBFFam
• QBFFam: a tool for generating QBF families from proof complexity

This page was built for software: CNFgen