htd
From MaRDI portal
Software:32924
No author found.
Source code repository: https://github.com/mabseher/htd/tree/v1.0.0-beta1
Related Items (12)
Taming high treewidth with abstraction, nested dynamic programming, and database technology ⋮ Lpopt: a rule optimization tool for answer set programming ⋮ 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 ⋮ Unnamed Item ⋮ Linearizing Genomes: Exact Methods and Local Search ⋮ Optimizing Answer Set Computation via Heuristic-Based Decomposition ⋮ selp: A Single-Shot Epistemic Logic Program Solver ⋮ A faster tree-decomposition based algorithm for counting linear extensions ⋮ Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs ⋮ Weighted model counting without parameter variables ⋮ ProCount: weighted projected model counting with graded project-join trees
This page was built for software: htd
