Dsharp

MaRDI QIDQ1354198swMATHFDO

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
• Parameterized compilation lower bounds for restricted CNF-formulas
• GANAK
• Advanced SMT techniques for weighted model integration
• Taming high treewidth with abstraction, nested dynamic programming, and database technology
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• CP-logic
• A new probabilistic constraint logic programming language based on a generalised distribution semantics
• dynASP
• Coprocessor
• sharpSAT
• Datafun
• FeatureIDE
• htd
• PFLP
• ASPTools
• Hailfinder
• countAntom
• SMProbLog
• NeurASP
• A functional account of probabilistic programming with possible worlds. Declarative pearl
• scientific article; zbMATH DE number 7378698 (Why is no real title available?)

This page was built for software: Dsharp