Computing and estimating the volume of the solution space of SMT(LA) constraints (Q1659994): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2016.10.019
@@ Property / DOI: 10.1016/j.tcs.2016.10.019 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+LattE
@@ Property / describes a project that uses: LattE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVC4
@@ Property / describes a project that uses: CVC4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Find
@@ Property / describes a project that uses: Find / 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.1016/j.tcs.2016.10.019
+Normal rank
@@ Property / OpenAlex ID @@
+W2554294741
@@ Property / OpenAlex ID: W2554294741 / rank @@
+Normal rank
@@ Property / cites work @@
+Hit-and-Run Algorithms for Generating Multivariate Distributions
+Normal rank
@@ Property / cites work @@
+Hit-and-run algorithms for the identification of nonredundant linear inequalities
+Normal rank
@@ Property / cites work @@
+Q4518985
@@ Property / cites work: Q4518985 / rank @@
+Normal rank
@@ Property / cites work @@
+From Holant to \#CSP and back: dichotomy for Holant\(^{c}\) problems
+Normal rank
@@ Property / cites work @@
+The complexity of complex weighted Boolean \#CSP
@@ Property / cites work: The complexity of complex weighted Boolean \#CSP / rank @@
+Normal rank
@@ Property / cites work @@
+On probabilistic inference by weighted model counting
+Normal rank
@@ Property / cites work @@
+Approximate Counting in SMT and Value Estimation for Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+On the Complexity of Computing the Volume of a Polyhedron
+Normal rank
@@ Property / cites work @@
+Satisfiability modulo counting
@@ Property / cites work: Satisfiability modulo counting / rank @@
+Normal rank
@@ Property / cites work @@
+A Fast and Practical Method to Estimate Volumes of Convex Polytopes
+Normal rank
@@ Property / cites work @@
+Geometric algorithms and combinatorial optimization
+Normal rank
@@ Property / cites work @@
+Proof of a program
@@ Property / cites work: Proof of a program / rank @@
+Normal rank
@@ Property / cites work @@
+Random walks and anO*(n5) volume algorithm for convex bodies
+Normal rank
@@ Property / cites work @@
+The problem of calculating the volume of a polyhedron is enumerably hard
+Normal rank
@@ Property / cites work @@
+Volume Computation Using a Direct Monte Carlo Method
+Normal rank
@@ Property / cites work @@
+Effective lattice point counting in rational convex polytopes
+Normal rank
@@ Property / cites work @@
+Hit-and-run mixes fast
@@ Property / cites work: Hit-and-run mixes fast / rank @@
+Normal rank
@@ Property / cites work @@
+Computational results of an \(O^{\ast }(n^{4})\) volume algorithm
+Normal rank
@@ Property / cites work @@
+Hit-and-Run from a Corner
@@ Property / cites work: Hit-and-Run from a Corner / rank @@
+Normal rank
@@ Property / cites work @@
+Simulated annealing in convex bodies and an \(O^{*}(n^{4}\)) volume algorithm
+Normal rank
@@ Property / cites work @@
+Volume Computation for Boolean Combination of Linear Arithmetic Constraints
+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 @@
+Efficient Monte Carlo Procedures for Generating Points Uniformly Distributed over Bounded Regions
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Estimating the volume of solution space for satisfiability modulo linear real arithmetic
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2016.10.019
@@ Property / DOI: 10.1016/J.TCS.2016.10.019 / rank @@
+Normal rank