On deciding subsumption problems (Q1777407): Difference between revisions

@@ Property / cites work @@
+Q2751045
@@ Property / cites work: Q2751045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287493
@@ Property / cites work: Q4287493 / rank @@
+Normal rank
@@ Property / cites work @@
+Working with ARMs: Complexity results on atomic representations of Herbrand models
+Normal rank
@@ Property / cites work @@
+Equational formulae with membership constraints
@@ Property / cites work: Equational formulae with membership constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Equational problems and disunification
@@ Property / cites work: Equational problems and disunification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4784859
@@ Property / cites work: Q4784859 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit representation of terms defined by counter examples
+Normal rank
@@ Property / cites work @@
+Hyperresolution and automated model building
@@ Property / cites work: Hyperresolution and automated model building / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539620
@@ Property / cites work: Q4539620 / rank @@
+Normal rank
@@ Property / cites work @@
+BerkMin: A fast and robust SAT-solver
@@ Property / cites work: BerkMin: A fast and robust SAT-solver / rank @@
+Normal rank
@@ Property / cites work @@
+A non-ground realization of the stable and well-founded semantics
+Normal rank
@@ Property / cites work @@
+Sufficient-completeness, ground-reducibility and their complexity
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035222
@@ Property / cites work: Q4035222 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412858
@@ Property / cites work: Q4412858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736482
@@ Property / cites work: Q4736482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263808
@@ Property / cites work: Q4263808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503913
@@ Property / cites work: Q4503913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723900
@@ Property / cites work: Q2723900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682462
@@ Property / cites work: Q3682462 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+SATO: An efficient propositional prover
@@ Property / cites work: SATO: An efficient propositional prover / rank @@
+Normal rank