Q5009587 (Q5009587): Difference between revisions

@@ Property / describes a project that uses @@
+countAntom
@@ Property / describes a project that uses: countAntom / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dsharp
@@ Property / describes a project that uses: Dsharp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+gmp
@@ Property / describes a project that uses: gmp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+htd
@@ Property / describes a project that uses: htd / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CUD@SAT
@@ Property / describes a project that uses: CUD@SAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+Normal rank
@@ Property / cites work @@
+Laissez-Faire Caching for Parallel #SAT Solving
@@ Property / cites work: Laissez-Faire Caching for Parallel #SAT Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Expansion-based QBF Solving on Tree Decompositions*
+Normal rank
@@ Property / cites work @@
+Q5111890
@@ Property / cites work: Q5111890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624106
@@ Property / cites work: Q3624106 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set solving with bounded treewidth revisited
+Normal rank
@@ Property / cites work @@
+DynASP2.5: Dynamic Programming on Tree Decompositions in Action
+Normal rank
@@ Property / cites work @@
+SAT-based local improvement for finding tree decompositions of small width
+Normal rank
@@ Property / cites work @@
+Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs
+Normal rank
@@ Property / cites work @@
+Approximate counting: a detailed analysis
@@ Property / cites work: Approximate counting: a detailed analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Treewidth. Computations and approximations
@@ Property / cites work: Treewidth. Computations and approximations / rank @@
+Normal rank
@@ Property / cites work @@
+On the hardness of approximate reasoning
@@ Property / cites work: On the hardness of approximate reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Solving #SAT and MAXSAT by Dynamic Programming
@@ Property / cites work: Solving #SAT and MAXSAT by Dynamic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for propositional model counting
@@ Property / cites work: Algorithms for propositional model counting / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+The first collision for full SHA-1
@@ Property / cites work: The first collision for full SHA-1 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing Efficient All Solutions SAT Solvers
@@ Property / cites work: Implementing Efficient All Solutions SAT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Computing treewidth on the GPU
@@ Property / cites work: Computing treewidth on the GPU / rank @@
+Normal rank
@@ Property / cites work @@
+Same-decision probability: a confidence measure for threshold-based decisions
+Normal rank