Superposition Modulo Linear Arithmetic SUP(LA) (Q3655193): Difference between revisions

@@ Property / cites work @@
+New results on rewrite-based satisfiability procedures
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving for hierarchic first-order theories
+Normal rank
@@ Property / cites work @@
+Engineering DPLL(T) + Saturation
@@ Property / cites work: Engineering DPLL(T) + Saturation / rank @@
+Normal rank
@@ Property / cites work @@
+SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers
+Normal rank
@@ Property / cites work @@
+Integrating Linear Arithmetic into Superposition Calculus
+Normal rank
@@ Property / cites work @@
+Q4953405
@@ Property / cites work: Q4953405 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539608
@@ Property / cites work: Q4539608 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751379
@@ Property / cites work: Q2751379 / rank @@
+Normal rank