Satisfiability Procedures for Combination of Theories Sharing Integer Offsets (Q3617773): Difference between revisions

@@ 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-00768-2_35
+Normal rank
@@ Property / OpenAlex ID @@
+W1539567407
@@ Property / OpenAlex ID: W1539567407 / rank @@
+Normal rank
@@ 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 @@
+Efficient theory combination via Boolean search
@@ Property / cites work: Efficient theory combination via Boolean search / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310200
@@ Property / cites work: Q5310200 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804887
@@ Property / cites work: Q4804887 / 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 @@
+Noetherianity and Combination Problems
@@ Property / cites work: Noetherianity and Combination Problems / rank @@
+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 @@
+A Gröbner Basis Approach to CNF-Formulae Preprocessing
+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 @@
+Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
+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