The following pages link to GANAK (Q1354200):
Displaying 4 items.
- Quantifying software reliability via model-counting (Q832053) (← links)
- Counting minimal unsatisfiable subsets (Q832272) (← links)
- ProCount: weighted projected model counting with graded project-join trees (Q2118296) (← links)
- Taming high treewidth with abstraction, nested dynamic programming, and database technology (Q2661361) (← links)