CNFgen

swMATH21968MaRDI QIDQ33767FDOQ33767

Author name not available (Why is that?)

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 (13)

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

This page was built for software: CNFgen