Q4553283 (Q4553283): Difference between revisions

@@ Property / describes a project that uses @@
+SETL
@@ Property / describes a project that uses: SETL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06259
@@ Property / arXiv ID: 1702.06259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436966
@@ Property / cites work: Q4436966 / rank @@
+Normal rank
@@ Property / cites work @@
+Counting Constraints in Flat Array Fragments
@@ Property / cites work: Counting Constraints in Flat Array Fragments / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
+Normal rank
@@ Property / cites work @@
+Decision procedures for theories of sets with measures
+Normal rank
@@ Property / cites work @@
+A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
+Normal rank
@@ Property / cites work @@
+Q2740887
@@ Property / cites work: Q2740887 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for Sets, Binary Relations and Partial Functions
+Normal rank
@@ Property / cites work @@
+Q4503906
@@ Property / cites work: Q4503906 / rank @@
+Normal rank
@@ Property / cites work @@
+Polite Theories Revisited
@@ Property / cites work: Polite Theories Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Boolean algebra with Presburger arithmetic
+Normal rank
@@ Property / cites work @@
+Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
+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 @@
+Decision Procedures for Multisets with Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Q3741005
@@ Property / cites work: Q3741005 / rank @@
+Normal rank
@@ Property / cites work @@
+Locality Results for Certain Extensions of Theories with Bridging Functions
+Normal rank
@@ Property / cites work @@
+Sets with Cardinality Constraints in Satisfiability Modulo Theories
+Normal rank
@@ Property / cites work @@
+Q4737128
@@ Property / cites work: Q4737128 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining sets with cardinals
@@ Property / cites work: Combining sets with cardinals / rank @@
+Normal rank