Dsharp

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