GANAK

MaRDI QIDQ1354200swMATHFDO

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

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

Cited in

(15)

• Dsharp
• RunLim
• ProCount: weighted projected model counting with graded project-join trees
• dynASP
• Taming high treewidth with abstraction, nested dynamic programming, and database technology
• sharpSAT
• BEACON
• FeatureIDE
• htd
• Jdrasil
• SamIam
• Hailfinder
• countAntom
• Quantifying software reliability via model-counting
• Counting minimal unsatisfiable subsets

This page was built for software: GANAK