GANAK

swMATH41093MaRDI QIDQ1354200FDOQ1354200

Author name not available (Why is that?)

Source code repository: https://github.com/meelgroup/ganak

Cited In (4)

• Counting minimal unsatisfiable subsets
• Quantifying software reliability via model-counting
• ProCount: weighted projected model counting with graded project-join trees
• Taming high treewidth with abstraction, nested dynamic programming, and database technology

This page was built for software: GANAK