Unifying splitting (Q6103590): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-023-09660-8
@@ Property / DOI: 10.1007/s10817-023-09660-8 / rank @@
-Normal rank
@@ Property / cites work @@
+Rewrite-based Equational Theorem Proving with Selection and Simplification
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving
+Normal rank
@@ Property / cites work @@
+Satisfiability modulo theories and assignments
@@ Property / cites work: Satisfiability modulo theories and assignments / rank @@
+Normal rank
@@ Property / cites work @@
+A Model-Constructing Satisfiability Calculus
@@ Property / cites work: A Model-Constructing Satisfiability Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A unifying splitting framework
@@ Property / cites work: A unifying splitting framework / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled splitting
@@ Property / cites work: Labelled splitting / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
+Normal rank
@@ Property / cites work @@
+Subsumption demodulation in first-order theorem proving
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+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 @@
+Concrete Semantics
@@ Property / cites work: Concrete Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Playing with AVATAR
@@ Property / cites work: Playing with AVATAR / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting enumerative instantiation
@@ Property / cites work: Revisiting enumerative instantiation / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+AVATAR: The Architecture for First-Order Theorem Provers
+Normal rank
@@ Property / cites work @@
+A comprehensive framework for saturation theorem proving
+Normal rank
@@ Property / cites work @@
+Q2751379
@@ Property / cites work: Q2751379 / rank @@
+Normal rank
@@ Property / cites work @@
+SPASS &amp; FLOTTER version 0.42
@@ Property / cites work: SPASS & FLOTTER version 0.42 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-023-09660-8
@@ Property / DOI: 10.1007/S10817-023-09660-8 / rank @@
+Normal rank