Quantifier-Free Equational Logic and Prime Implicate Generation (Q3454103): Difference between revisions

@@ Property / cites work @@
+New results on rewrite-based satisfiability procedures
+Normal rank
@@ Property / cites work @@
+Theory decision by decomposition
@@ Property / cites work: Theory decision by decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934645
@@ Property / cites work: Q4934645 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewriting Strategy to Generate Prime Implicates in Equational Logic
+Normal rank
@@ Property / cites work @@
+Q4264736
@@ Property / cites work: Q4264736 / rank @@
+Normal rank
@@ Property / cites work @@
+An incremental method for generating prime implicants/implicates
+Normal rank
@@ Property / cites work @@
+Equality and abductive residua for Horn clauses
@@ Property / cites work: Equality and abductive residua for Horn clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Prime Implicate Tries
@@ Property / cites work: Prime Implicate Tries / rank @@
+Normal rank
@@ Property / cites work @@
+First order abduction via tableau and sequent calculi
+Normal rank
@@ Property / cites work @@
+SOLAR: An automated deduction system for consequence finding
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / rank @@
+Normal rank
@@ Property / cites work @@
+Implication of clauses is undecidable
@@ Property / cites work: Implication of clauses is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150301
@@ Property / cites work: Q3150301 / rank @@
+Normal rank
@@ Property / cites work @@
+System Description: E 1.8
@@ Property / cites work: System Description: E 1.8 / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
+Normal rank
@@ Property / cites work @@
+RST Flip-Flop Input Equations
@@ Property / cites work: RST Flip-Flop Input Equations / rank @@
+Normal rank