Volume Computation for Boolean Combination of Linear Arithmetic Constraints (Q5191119): Difference between revisions

@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+cvc3
@@ Property / describes a project that uses: cvc3 / 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 @@
+lp_solve
@@ Property / describes a project that uses: lp_solve / 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-642-02959-2_33
+Normal rank
@@ Property / OpenAlex ID @@
+W50000015
@@ Property / OpenAlex ID: W50000015 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518985
@@ Property / cites work: Q4518985 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Computing the Volume of a Polyhedron
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996398
@@ Property / cites work: Q3996398 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
+Normal rank
@@ Property / cites work @@
+Effective lattice point counting in rational convex polytopes
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / 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 @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5191119