Model Counting of Monotone Conjunctive Normal Form Formulas with Spectra (Q3466783): Difference between revisions

@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / 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.1287/ijoc.2014.0633
+Normal rank
@@ Property / OpenAlex ID @@
+W2137552781
@@ Property / OpenAlex ID: W2137552781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3629721
@@ Property / cites work: Q3629721 / rank @@
+Normal rank
@@ Property / cites work @@
+A Sequential Importance Sampling Algorithm for Generating Random Graphs with Prescribed Degrees
+Normal rank
@@ Property / cites work @@
+Efficient Monte Carlo simulation via the generalized splitting method
+Normal rank
@@ Property / cites work @@
+Sequential Monte Carlo Methods for Statistical Analysis of Tables
+Normal rank
@@ Property / cites work @@
+Approximate counting by dynamic programming
@@ Property / cites work: Approximate counting by dynamic programming / rank @@
+Normal rank
@@ Property / cites work @@
+On Counting Independent Sets in Sparse Graphs
@@ Property / cites work: On Counting Independent Sets in Sparse Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3569540
@@ Property / cites work: Q3569540 / rank @@
+Normal rank
@@ Property / cites work @@
+Assessing the reliability and the expected performance of a network under disaster risk
+Normal rank
@@ Property / cites work @@
+Fast simulation of rare events in queueing and reliability models
+Normal rank
@@ Property / cites work @@
+A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries
+Normal rank
@@ Property / cites work @@
+Random generation of combinatorial structures from a uniform distribution
+Normal rank
@@ Property / cites work @@
+Approximately counting cliques
@@ Property / cites work: Approximately counting cliques / rank @@
+Normal rank
@@ Property / cites work @@
+Rare Event Simulation using Monte Carlo Methods
@@ Property / cites work: Rare Event Simulation using Monte Carlo Methods / rank @@
+Normal rank
@@ Property / cites work @@
+The Gibbs cloner for combinatorial optimization, counting and sampling
+Normal rank
@@ Property / cites work @@
+Stochastic enumeration method for counting NP-hard problems
+Normal rank
@@ Property / cites work @@
+Simulation and the Monte Carlo Method
@@ Property / cites work: Simulation and the Monte Carlo Method / rank @@
+Normal rank
@@ Property / cites work @@
+The Splitting Method for Decision Making
@@ Property / cites work: The Splitting Method for Decision Making / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Counting in Sparse, Regular, and Planar Graphs
+Normal rank
@@ Property / cites work @@
+The Complexity of Enumeration and Reliability Problems
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank