Decision Procedures for Multisets with Cardinality Constraints (Q5452719): Difference between revisions

@@ Property / cites work @@
+Introduction to set constraint-based program analysis
+Normal rank
@@ Property / cites work @@
+Decidability and definability results related to the elementary theory of ordinal multiplication
+Normal rank
@@ Property / cites work @@
+Q4035235
@@ Property / cites work: Q4035235 / rank @@
+Normal rank
@@ Property / cites work @@
+Subtractive reductions and complete problems for counting complexity classes
+Normal rank
@@ Property / cites work @@
+Carathéodory bounds for integer cones
@@ Property / cites work: Carathéodory bounds for integer cones / rank @@
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Boolean algebra with Presburger arithmetic
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
+Normal rank
@@ Property / cites work @@
+Multitree automata that count
@@ Property / cites work: Multitree automata that count / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Constraints for Sets with Cardinality Bounds
+Normal rank
@@ Property / cites work @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Verification of Shape and Size Properties Via Separation Logic
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+On the complexity of integer programming
@@ Property / cites work: On the complexity of integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5680985
@@ Property / cites work: Q5680985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809072
@@ Property / cites work: Q4809072 / rank @@
+Normal rank