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