htd
From MaRDI portal
Htd
Cited in
(26)- Dsharp
- GANAK
- Weighted model counting without parameter variables
- ProCount: weighted projected model counting with graded project-join trees
- dynASP
- Taming high treewidth with abstraction, nested dynamic programming, and database technology
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- Solving projected model counting by utilizing treewidth and its limits
- sharpSAT
- GRAPPA
- Linearizing genomes: exact methods and local search
- Lpopt
- GrappaVis
- lp2normal
- Jdrasil
- GI-log
- selp
- ASPTools
- Optimizing answer set computation via heuristic-based decomposition
- selp: a single-shot epistemic logic program solver
- Weighted model counting on the GPU by exploiting small treewidth
- Utilizing treewidth for quantitative reasoning on epistemic logic programs
- Hailfinder
- eclingo
- countAntom
- A faster tree-decomposition based algorithm for counting linear extensions
This page was built for software: htd
