GANAK

MaRDI QIDQ1354200swMATHFDO

Official website https://www.ijcai.org/Proceedings/2019/0163.pdf

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

Cited in

(15)

• 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
• RunLim
• dynASP
• BEACON
• sharpSAT
• FeatureIDE
• htd
• Jdrasil
• SamIam
• Hailfinder
• countAntom
• Dsharp

This page was built for software: GANAK