SATCHMORE: SATCHMO with RElevancy (Q1891262): Difference between revisions

@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient strategy for non-Horn deductive databases
+Normal rank
@@ Property / cites work @@
+Q4249902
@@ Property / cites work: Q4249902 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016556
@@ Property / cites work: Q4016556 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Generating relevant models
@@ Property / cites work: Generating relevant models / rank @@
+Normal rank
@@ Property / cites work @@
+Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
+Normal rank
@@ Property / cites work @@
+Schubert's steamroller problem: Formulations and solutions
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00881861
+Normal rank
@@ Property / OpenAlex ID @@
+W2025130747
@@ Property / OpenAlex ID: W2025130747 / rank @@
+Normal rank