ProCount: weighted projected model counting with graded project-join trees (Q2118296): Difference between revisions

@@ Property / describes a project that uses @@
+PMTK
@@ Property / describes a project that uses: PMTK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DRAT-trim
@@ Property / describes a project that uses: DRAT-trim / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GANAK
@@ Property / describes a project that uses: GANAK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sylvan
@@ Property / describes a project that uses: Sylvan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATzilla
@@ Property / describes a project that uses: SATzilla / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+htd
@@ Property / describes a project that uses: htd / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-80223-3_11
+Normal rank
@@ Property / OpenAlex ID @@
+W3184163263
@@ Property / OpenAlex ID: W3184163263 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475626
@@ Property / cites work: Q4475626 / rank @@
+Normal rank
@@ Property / cites work @@
+$$\#\exists $$ SAT: Projected Model Counting
@@ Property / cites work: $$\#\exists $$ SAT: Projected Model Counting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624187
@@ Property / cites work: Q3624187 / rank @@
+Normal rank
@@ Property / cites work @@
+DYNAMIC PROGRAMMING AND A NEW FORMALISM IN THE THEORY OF INTEGRAL EQUATIONS
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Expansion-based QBF Solving on Tree Decompositions*
+Normal rank
@@ Property / cites work @@
+Bucket elimination: A unifying framework for reasoning
+Normal rank
@@ Property / cites work @@
+Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Exploiting treewidth for projected model counting and its limits
+Normal rank
@@ Property / cites work @@
+Graph Bisection with Pareto Optimization
@@ Property / cites work: Graph Bisection with Pareto Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Taming high treewidth with abstraction, nested dynamic programming, and database technology
+Normal rank
@@ Property / cites work @@
+Which problems have strongly exponential complexity?
+Normal rank
@@ Property / cites work @@
+Random generation of combinatorial structures from a uniform distribution
+Normal rank
@@ Property / cites work @@
+Q2816028
@@ Property / cites work: Q2816028 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2855953
@@ Property / cites work: Q2855953 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic techniques in satisfiability solving
@@ Property / cites work: Symbolic techniques in satisfiability solving / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715665
@@ Property / cites work: Q5715665 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. X: Obstructions to tree-decomposition
+Normal rank
@@ Property / cites work @@
+Algorithms for propositional model counting
@@ Property / cites work: Algorithms for propositional model counting / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting structure in quantified formulas
@@ Property / cites work: Exploiting structure in quantified formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Positive-instance driven dynamic programming for treewidth
+Normal rank
@@ Property / cites work @@
+Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs
+Normal rank
@@ Property / cites work @@
+Ordered Binary Decision Diagrams and the Davis-Putnam procedure
+Normal rank
@@ Property / cites work @@
+DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
+Normal rank
@@ Property / cites work @@
+Q3624141
@@ Property / cites work: Q3624141 / rank @@
+Normal rank