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)

• SMProbLog
• NeurASP
• GANAK
• CP-logic
• A functional account of probabilistic programming with possible worlds. Declarative pearl
• dynASP
• Advanced SMT techniques for weighted model integration
• On preprocessing techniques and their impact on propositional model counting
• Taming high treewidth with abstraction, nested dynamic programming, and database technology
• Parameterized compilation lower bounds for restricted CNF-formulas
• sharpSAT
• Coprocessor
• Datafun
• FeatureIDE
• htd
• PFLP
• ASPTools
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• Weighted model counting on the GPU by exploiting small treewidth
• Hailfinder
• countAntom
• A new probabilistic constraint logic programming language based on a generalised distribution semantics

This page was built for software: Dsharp