swMATH41094MaRDI QIDQ1354198FDOQ1354198
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-3-642-30353-1_36
Source code repository: https://github.com/QuMuLab/dsharp
Cited In (22)
- On preprocessing techniques and their impact on propositional model counting
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- GANAK
- Taming high treewidth with abstraction, nested dynamic programming, and database technology
- Parameterized compilation lower bounds for restricted CNF-formulas
- Inference and learning in probabilistic logic programs using weighted Boolean formulas
- CP-logic
- dynASP
- Coprocessor
- sharpSAT
- A new probabilistic constraint logic programming language based on a generalised distribution semantics
- Datafun
- FeatureIDE
- htd
- PFLP
- ASPTools
- Hailfinder
- countAntom
- SMProbLog
- Title not available (Why is that?)
- Advanced SMT techniques for weighted model integration
- NeurASP
This page was built for software: Dsharp
