swMATH41093MaRDI QIDQ1354200FDOQ1354200
Author name not available (Why is that?)
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
