Data Structures with Arithmetic Constraints: A Non-disjoint Combination (Q3655209): Difference between revisions

@@ Property / cites work @@
+New results on rewrite-based satisfiability procedures
+Normal rank
@@ Property / cites work @@
+A rewriting approach to satisfiability procedures.
+Normal rank
@@ Property / cites work @@
+On Variable-inactivity and Polynomial Formula-Satisfiability Procedures
+Normal rank
@@ Property / cites work @@
+Engineering DPLL(T) + Saturation
@@ Property / cites work: Engineering DPLL(T) + Saturation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-theoretic methods in combined constraint satisfiability
+Normal rank
@@ Property / cites work @@
+A comprehensive combination framework
@@ Property / cites work: A comprehensive combination framework / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+On Fourier's algorithm for linear arithmetic constraints
+Normal rank
@@ Property / cites work @@
+A canonical form for generalized linear constraints
+Normal rank
@@ Property / cites work @@
+Automatic Decidability and Combinability Revisited
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Combinable Extensions of Abelian Groups
@@ Property / cites work: Combinable Extensions of Abelian Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Combinations of Theories
@@ Property / cites work: Deciding Combinations of Theories / rank @@
+Normal rank